@conference {222,
	title = {A Proof-Sensitive Approach for Small Propositional Interpolants},
	booktitle = {VSTTE 2015},
	year = {2015},
	url = {http://verify.inf.usi.ch/sites/default/files/main_0.pdf},
	author = {Leonardo Alt and Grigory Fedyukovich and Antti E. J. Hyv{\"a}rinen and Natasha Sharygina}
}
