@conference {248,
	title = {Flexible Interpolation for Efficient Model Checking},
	booktitle = {MEMICS 2016},
	year = {2016},
	url = {http://verify.inf.usi.ch/sites/default/files/MEMICS2016.pdf},
	author = {Antti E. J. Hyv{\"a}rinen and Leonardo Alt and Natasha Sharygina}
}
