Talks and Poster Presentations (with Proceedings-Entry):
K. Hoder, A. Holzer, L. Kovacs, A. Voronkov:
"Vinter: A Vampire-Based Tool for Interpolation";
Talk: Asian Symposium on Programming Languages and Systems (APLAS),
- 2012-12-13; in: "APLAS",
Springer / LNCS,
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
Created from the Publication Database of the Vienna University of Technology.