@TechReport{NaafEtAl17,
  author      = "Matthias Naaf and Florian Frohn and Marc Brockschmidt and Carsten Fuhs and J\"urgen Giesl",
  title       = "Complexity Analysis for Term Rewriting by Integer Transition Systems",
  institution = "RWTH Aachen University",
  keywords    = "complexity analysis, term rewrite systems, integer transition systems",
  year        = "2017",
  number      = "AIB-2017-05",
  month       = jun,
  url         = "http://aib.informatik.rwth-aachen.de/2017/2017-05.ps.gz"
}