@TechReport{FrohnGiesl17,
  author      = "Florian Frohn and J\"urgen Giesl",
  title       = "Analyzing Runtime Complexity via Innermost Runtime Complexity",
  institution = "RWTH Aachen University",
  keywords    = "term rewriting, automated complexity analysis, evaluation strategies", 
  year        = "2017",
  number      = "AIB-2017-02",
  month       = mar, 
  url         = "http://aib.informatik.rwth-aachen.de/2017/2017-02.ps.gz"
}