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