Dependency Triples for Improving Termination Analysis of Logic Programs with Cut.

Thomas Strder, Peter Schneider-Kamp, Jrgen Giesl

Browse the full LOPSTR paper archive.