author : Albert Bruffaerts

Short works

• Negation as Failure: proofs, inference rules and meta-interpreters. 1989. (In Meta-Programming in Logic Programming )