Logic for Programming, Artificial Intelligence, and Reasoning by M. Baaz & V. Andrei