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.
http://publik.tuwien.ac.at/files/PubDat_192509.pdf