Logic for Programming, Artificial Intelligence, and Reasoning - Dershowitz, Nachum (Springer Berlin Heidelberg, 2020)