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