@inproceedings { BRST10,
	title = {Flexible Interpolation with Local Proof Transformations},
	booktitle = {International Conference of Computer Aided Design (ICCAD)},
	year = {2010},
	note = {to appear},
	publisher = {IEEE Computer Society},
	organization = {IEEE Computer Society},
	address = {San Jose, USA},
	URL = {http://dx.doi.org/10.1109/ICCAD.2010.5654297},
	author = {Roberto Bruttomesso and  Simone Fulvio Rollini and  Natasha Sharygina and  Aliaksei Tsitovich}
}