@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}
}
