Logic For Programming And Automated Reasoning by A. Voronkov & M. Parigot