Andrei Voronkov,Miki Hermann

• Logic for Programming, Artificial Intelligence, and Reasoning