MIT Press (Cambridge, MA)
Logic Programming
Networks and Optimization

Apt, K., & Teusink, F. (1995). Comparing negation in logic programming and in Prolog. In Meta-logics and logic programming (pp. 111–133). MIT Press (Cambridge, MA).