@conference {147,
	title = {Interpolation Properties and SAT-based Model Checking},
	booktitle = {11th International Symposium on Automated Technology for Verification and Analysis (ATVA)},
	year = {2013},
	author = {Gurfinkel, A. and Rollini, S. F. and Natasha Sharygina}
}
