Talks and Poster Presentations (with Proceedings-Entry):
C. Dunchev, A. Leitsch, T. Libal, M. Riener, M. Rukhaia, D. Weller, B. Woltzenlogel-Paleo:
"System feature description: importing refutations into the GAPT framework";
Talk: Proof Exchange for Theorem Proving, Second International Workshop,
2012-06-30; in: "Proceeding of Proof Exchange for Theorem Proving | Second International Workshop, PxTP 2012",
D. Pichardie, T. Weber (ed.);
Created from the Publication Database of the Vienna University of Technology.