@conference {298,
	title = {Decomposing Farkas Interpolants},
	booktitle = {TACAS},
	year = {2019},
	author = {Martin Blicha and Antti E. J. Hyv{\"a}rinen and Jan Kofron and Natasha Sharygina}
}
@conference {277,
	title = {Duality-Based Interpolation for Quantifier-Free Equalities and Uninterpreted Functions},
	booktitle = {17th Conference on Formal Methods in Computer-Aided Design (FMCAD 2017) },
	year = {2017},
	publisher = {IEEE XPlore and ACM Digital Libraries},
	organization = {IEEE XPlore and ACM Digital Libraries},
	address = {TU Wien, Vienna, Austria,},
	url = {http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD17/fmcad17_proceedings.pdf},
	author = {Leonardo Alt and Antti	Hyv{\"a}rinen and Sepideh Asadi and Natasha Sharygina}
}
