author : David Chan

Short works

• A treatment of negation during partial evaluation. 1989. (In Meta-Programming in Logic Programming )