Logic for Programming, Artificial Intelligence, and Reasoning - Sutcliffe, Geoff (Springer Berlin Heidelberg, 2020)