Contributions to Proceedings:

K. Hoder, L. Kovacs, A. Voronkov:
"Interpolation and Symbol Elimination in Vampire";
in: "Proceedings of the 5th International Joint Conference on Automated Reasoning (IJCAR 2010)", Springer LNCS 6173, 2010, ISBN: 978-3-642-14202-4, 188 - 195.

Electronic version of the publication:

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