Books and Book Editorships:

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.

Electronic version of the publication:

Created from the Publication Database of the Vienna University of Technology.