@article {168,
	title = {Resolution Proof Transformation for Compression and Interpolation},
	journal = {CoRR},
	volume = {July 2013},
	year = {2013},
	author = {Rollini, S.F. and Bruttomesso, R. and Natasha Sharygina and Tsitovich, A.}
}
