Sofie Verbaeten Danny De Schreye Konstantinos F. Sagonas Termination proofs for logic programs with tabling. 57-92 2001 2 ACM Trans. Comput. Log. 1 http://doi.acm.org/10.1145/371282.371357 db/journals/tocl/tocl2.html#VerbaetenSS01