Logic Programming And Automated Reasoning by Andrei Voronkov