C. Fermüller, A. Voronkov:
"Logic for Programming, Artificial Intelligence, and Reasoning, Proceedings LPAR-17";
in series "LNCS", series editor: G. Goos, J. Hartmanis, J. van Leeuwen; Springer, Heidelberg, 2010, ISBN: 978-3-642-16241-1, 656 pages.
http://www.springer.com/computer/ai/book/978-3-642-16241-1