@conference {210,
	title = {On Interpolants and Variable Assignments},
	booktitle = {Formal Methods in Computer-Aided Design (FMCAD)},
	year = {2014},
	address = {Lausanne, Switzerland},
	author = {Jancik, P. and Kofronˇ, J. and Rollini, S.F. and Natasha Sharygina}
}
