Books by Andrei Voronkov
Logic For Programming Artificial Intelligence And Reasoning 18th International Conference Lpar18 Merida Venezuela March 1115 2012 Proceedings
Logic for Programming, Artificial Intelligence, and Reasoning
Automated Deduction - CADE-18
Rewriting Techniques and Applications
Logic Programming and Automated Reasoning