Negation in logic programming (1987)

by K Kunen
Venue:Journal of Logic Programming