"Automated Modular Termination Proofs for Real Prolog Programs."

Martin Müller, Thomas Glaß, Karl Stroetmann (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics