Contributions to Proceedings:

R. Blanc, A. Gupta, L. Kovacs, B. Kragl:
"Tree Interpolation in Vampire";
in: "Proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-19)", M. Kenneth, A. Middeldorp, A. Voronkov (ed.); Springer LNCS 8312, 2013, ISBN: 978-3-642-45220-8, 173 - 181.

"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.