@conference {279,
	title = {LRA Interpolants from No Man{\textquoteright}s Land},
	booktitle = {Haifa Verification Conference (HVC)},
	year = {2017},
	publisher = {Springer{\textquoteright}s Lecture Notes in Computer Science series (LNCS)},
	organization = {Springer{\textquoteright}s Lecture Notes in Computer Science series (LNCS)},
	author = {Leonardo Alt and Antti E. J. Hyv{\"a}rinen and Natasha Sharygina}
}
