Krzysztof R. Apt, Roland N. Bol. Logic Programming and Negation: A Survey. Journal of Logic and Algebraic Programming, 19/20:9-71, 1994. [doi]
We survey here various approaches which were proposed to incorporate negation in logic programs. We concentrate on the proof-theoretic and model-theoretic issues and the relationships between them.