Contributions to Proceedings:

L. Kovacs, A. Voronkov:
"First-Order Theorem Proving and Vampire";
in: "Proceedings of the 25th International Conference on Computer Aided Verification", N. Sharygina, H. Veith (ed.); Springer LNCS 8044, 2013, (invited), ISBN: 978-3-642-39798-1, 1 - 35.

"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)

Electronic version of the publication:

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