by Thomas Ströder, Fabian Emmes, Peter Schneider-Kamp, Jürgen Giesl
Reference:
Automated Runtime Complexity Analysis for Prolog by Term Rewriting (Thomas Ströder, Fabian Emmes, Peter Schneider-Kamp, Jürgen Giesl), Chapter in Proceedings of the 12th International Workshop on Termination (Georg Moser, ed.), University of Innsbruck, 2012.
Bibtex Entry:
@incollection{StroederEmmesSchneiderKampGiesl2012, author = {Str"{o}der, Thomas and Emmes, Fabian and {Schneider-Kamp}, Peter and Giesl, J"{u}rgen}, title = {Automated Runtime Complexity Analysis for {Prolog} by Term Rewriting}, booktitle = {Proceedings of the 12th International Workshop on Termination}, editor = {Moser, Georg}, year = {2012}, location = {Obergurgl, Austria}, pages = {84--88}, publisher = {University of Innsbruck}, address = {Innsbruck, Austria} }