Logic Programming and Automated Reasoning - Voronkov, Andrei (Berlin : Springer-Verlag, 1993)