Books
J. J. Alferes and L. M. Pereira, Reasoning with Logic Programming, volume 1111 of Lecture Notes in Artificial Intelligence. Berlin. Springer-Verlag, 1996, pp.326