@inproceedings { RBS10,
	title = {An Efficient and Flexible Approach to Resolution Proof Reduction},
	booktitle = {Haifa Verification Conference (HVC)},
	year = {2010},
	note = {to appear},
	publisher = {Springer},
	organization = {Springer},
	address = {Haifa, Israel},
	author = {Simone Fulvio Rollini and  Roberto Bruttomesso and  Natasha Sharygina}
}