by Thomas Ströder, Jürgen Giesl, Peter Schneider-Kamp
Reference:
Termination Analysis of Logic Programs with Cut Using Dependency Triples (Thomas Ströder, Jürgen Giesl, Peter Schneider-Kamp), In Proceedings of the 11th International Workshop on Termination (Peter Schneider-Kamp, ed.), 2010.
Bibtex Entry:
@inproceedings{StroederGieslSchneider-Kamp2010,
author = {Str"{o}der, Thomas and Giesl, J"{u}rgen and {Schneider-Kamp}, Peter},
title = {Termination Analysis of Logic Programs with Cut Using Dependency Triples},
booktitle = {Proceedings of the 11th International Workshop on Termination},
editor = {{Schneider-Kamp}, Peter},
year = {2010},
location = {Edinburgh, UK}
}