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