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