Laura Kovács, Simone Fulvio Rollini, Natasha Sharygina. A Parametric Interpolation Framework for First-Order Theories. In Félix Castro, Alexander F. Gelbukh, Miguel González, editors, Advances in Artificial Intelligence and Its Applications - 12th Mexican International Conference on Artificial Intelligence, MICAI 2013, Mexico City, Mexico, November 24-30, 2013, Proceedings, Part I. Volume 8265 of Lecture Notes in Computer Science, pages 24-40, Springer, 2013. [doi]
@inproceedings{KovacsRS13,
title = {A Parametric Interpolation Framework for First-Order Theories},
author = {Laura Kovács and Simone Fulvio Rollini and Natasha Sharygina},
year = {2013},
doi = {10.1007/978-3-642-45114-0_3},
url = {http://dx.doi.org/10.1007/978-3-642-45114-0_3},
researchr = {https://researchr.org/publication/KovacsRS13},
cites = {0},
citedby = {0},
pages = {24-40},
booktitle = {Advances in Artificial Intelligence and Its Applications - 12th Mexican International Conference on Artificial Intelligence, MICAI 2013, Mexico City, Mexico, November 24-30, 2013, Proceedings, Part I},
editor = {Félix Castro and Alexander F. Gelbukh and Miguel González},
volume = {8265},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-45113-3},
}