Dependency Triples for Improving Termination Analysis of Logic Programs with Cut

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

Bookmark the permalink.