Termination Analysis of Logic Programs Based on Dependency Graphs.

Manh Thang Nguyen, Jrgen Giesl, Peter Schneider-Kamp, Danny De Schreye

Browse the full LOPSTR paper archive.