A. Bruffaerts E. Henin Proof Trees for Negation as Failure: Yet Another Prolog Meta-Interpreter. 343-358 1988 ICLP/SLP db/conf/iclp/iclp88.html#BruffaertsH88