by Thomas Ströder, Fabian Emmes, Jürgen Giesl, Peter Schneider-Kamp, Carsten Fuhs
Reference:
Automated Complexity Analysis for textsfProlog by Term Rewriting (Thomas Ströder, Fabian Emmes, Jürgen Giesl, Peter Schneider-Kamp, Carsten Fuhs), Technical report, RWTH Aachen, 2012.
Bibtex Entry:
@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" }