@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}
}
@conference {180,
	title = {PeRIPLO: A Framework for Producing Efficient Interpolants for SAT-based Software Verification},
	booktitle = {Logic for Programming Artificial Intelligence and Reasoning (LPAR)},
	year = {2013},
	address = {Stellenbosch, South Africa},
	author = {Rollini, S.F. and Leonardo Alt and Grigory Fedyukovich and Antti E. J. Hyv{\"a}rinen and Natasha Sharygina}
}
