"Modular Termination Proofs for Prolog with Tabling."

Sofie Verbaeten, Konstantinos Sagonas, Danny De Schreye (1999)
a service of Schloss Dagstuhl - Leibniz Center for Informatics