Talks and Poster Presentations (with Proceedings-Entry):

G. Reis et al.:
"Quati: An Automated Tool for Proving Permutation Lemmas";
Talk: IJCAR, Wien; 2014-07-19 - 2014-07-22; in: "Automated Reasoning - 7th International Joint Conference", D. Kapur et al. (ed.); LNCS/Springer, 8562 (2014), ISBN: 978-3-319-08587-6; 255 - 261.

"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)

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