Contributions to Proceedings:

L. Kovacs, N. Sharygina, S. Rollini:
"A Parametric Interpolation Framework for First-Order Theories.";
in: "Proceedings of the 12th Mexican International Conference on Artificial Intelligence - Advances in Artificial Intelligence and Its Applications (MICAI)", F. Castro, A. Gelbukh, M. Gonzalez (ed.); Springer LNCS 8265, 2013, ISBN: 978-3-642-45113-3, 24 - 40.

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