-J.J. Alferes/L. Moniz Pereira: Reasoning with Logic Programming, Springer-Verlag 1996 (Subseries LNAI)