"Proof Trees for Negation as Failure: Yet Another Prolog Meta-Interpreter."

A. Bruffaerts, E. Henin (1988)
a service of Schloss Dagstuhl - Leibniz Center for Informatics