@proceedings {240,
	title = {Property Directed Equivalence via Abstract Simulation},
	year = {2016},
	author = {Grigory Fedyukovich and Gurfinkel, A. and Natasha Sharygina}
}
