A treatment of negation during partial evaluation (1988)

by D Chan, M Wallace
Venue:Meta-programming in logic programming