Logic programming and negation: A survey (1994)

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