A treatment of negation during partial evaluation (1989)

by D Chan, M Wallace
Venue:Meta-Programming in Logic Programming, Proceedings of the Meta88 Workshop