"A Methodology for Provin Termination of Logic Programs."

R. K. Shyamasundar, Bal Wang (1994)
a service of Schloss Dagstuhl - Leibniz Center for Informatics