"Proving Termination Properties of Prolog Programs: A Semantic Approach"

Marianne Baudinet (1988)
a service of Schloss Dagstuhl - Leibniz Center for Informatics