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"
}