Logic For Programming, Artificial Intelligence And Reasoning door R. Nieuwenhuis & A. Voronkov