"Automatic Termination Analysis of Logic Programs."

Naomi Lindenstrauss, Yehoshua Sagiv (1997)
a service of Schloss Dagstuhl - Leibniz Center for Informatics