Logic programming and negation: A survey. (1994)

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