@inproceedings { sfs2012,
	title = {Interpolation-based Function Summaries in Bounded Model Checking},
	booktitle = {Haifa Verification Conference (HVC)},
	year = {2011},
	note = {To appear at the conference. The pdf-version is not final.},
	publisher = {Springer},
	organization = {Springer},
	address = {Haifa, Israel},
	author = {Ondrej Sery and  Grigory Fedyukovich and  Natasha Sharygina}
}