Logic for Programming, Artificial Intelligence, and Reasoning - McMillan, Ken; Middeldorp, Aart; Voronkov, Andrei; Middeldorp, Aart; Voronkov, Andrei (Springer Berlin Heidelberg, 2013)