Modular Termination Proofs for Prolog with Tabling.

Sofie Verbaeten, Konstantinos Sagonas, Danny De Schreye

Browse the full PPDP paper archive.