@inproceedings { RSS_CAV12,
	title = {Leveraging Interpolant Strength in Model Checking},
	booktitle = {24th International Conference on Computer Aided Verification (CAV)},
	year = {2012},
	publisher = {Springer},
	organization = {Springer},
	address = {Berkeley, California, USA},
	author = {Simone Fulvio Rollini and  Ondrej Sery and  Natasha Sharygina}
}