@conference {160,
	title = {A Parametric Interpolation Framework for First-Order Theories},
	booktitle = {12th Mexican International Conference on Artificial Intelligence (MICAI)},
	year = {2013},
	author = {Kovacs, L. and Rollini, S.F. and Natasha Sharygina}
}
