"A Transformation System for Definite Programs Based on Termination Analysis."

J. Cook, John P. Gallagher (1994)
a service of Schloss Dagstuhl - Leibniz Center for Informatics