Logic for Programming and Automated Reasoning von Michel Parigot und Andrei Voronkov (2000, Taschenbuch)