by T. Ströder, P. Schneider-Kamp, J. Giesl
Reference:
Dependency Triples for Improving Termination Analysis of Logic Programs with Cut (T. Ströder, P. Schneider-Kamp, J. Giesl), Technical report, RWTH Aachen, 2010.
Bibtex Entry:
@TechReport{StroederEtAl-AIB2010-12,
author = {T. Str"oder and P. Schneider-Kamp and J. Giesl},
title = {Dependency Triples for Improving Termination Analysis of Logic Programs with Cut},
institution = {RWTH Aachen},
year = {2010},
number = {AIB-2010-12},
month = {June},
url = {http://aib.informatik.rwth-aachen.de/2010/2010-12.pdf}
}