Logic Programming and Negation: A Survey (1994)

by K Apt, N Bol
Venue:Journal of Logic Programming