Sofie Verbaeten Danny De Schreye Termination of Simply-Moded Well-Typed Logic Programs under a Tabled Execution Mechanism. 157-196 2001 12 Appl. Algebra Eng. Commun. Comput. 1/2 http://link.springer.de/link/service/journals/00200/bibs/1012001/10120157.htm db/journals/aaecc/aaecc12.html#VerbaetenS01