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

A. Bruffaerts, E. Henin

Browse the full ICLP paper archive.