The Dependency Triple Framework for Termination of Logic Programs.

Peter Schneider-Kamp, Jrgen Giesl, Manh Thang Nguyen

Browse the full LOPSTR paper archive.