@TechReport{StroederEmmesGieslSchneiderkampFuhs12,
  author      = "Thomas Str\"oder and Fabian Emmes and J\"urgen Giesl and Peter Schneider-Kamp and Carsten Fuhs",
  title       = "Automated Complexity Analysis for \textsf{Prolog} by Term Rewriting",
  institution = "RWTH Aachen",
  keywords    = "complexity analysis, automated reasoning, logic programs, term rewriting",
  year        = "2012",
  number      = "AIB-2012-05",
  month       = mar,
  url         = "http://aib.informatik.rwth-aachen.de/2012/2012-05.ps.gz"
}