Logic for Programming, Artificial Intelligence, and Reasoning - Davis; Fehnker, Ansgar; McIver, Annabelle; Voronkov, Andrei (Springer Berlin Heidelberg, 2015)