Andrei Voronkov,Christian G. Ferm Ller

• Logic for Programming, Artificial Intelligence, and Reasoning