Logic for Programming, Artificial Intelligence, and Reasoning - McMillan (Springer Berlin Heidelberg, 2013)