Logic programming and negation: A survey (1994)

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