Logic Programming And Automated Reasoning door Andrei Voronkov