@proceedings {240,
	title = {Property Directed Equivalence via Abstract Simulation},
	year = {2016},
	author = {Grigory Fedyukovich and Gurfinkel, A. and Natasha Sharygina}
}
@conference {234,
	title = {PVAIR: Partial Variable Assignment InterpolatoR},
	booktitle = {FASE2016},
	year = {2016},
	url = {http://verify.inf.usi.ch/sites/default/files/main-2.pdf},
	author = {Pavel Jan{\v c}{\'\i}k and Leonardo Alt and Grigory Fedyukovich and Antti E. J. Hyv{\"a}rinen and Jan Kofron and Natasha Sharygina}
}
@conference {222,
	title = {A Proof-Sensitive Approach for Small Propositional Interpolants},
	booktitle = {VSTTE 2015},
	year = {2015},
	url = {http://verify.inf.usi.ch/sites/default/files/main_0.pdf},
	author = {Leonardo Alt and Grigory Fedyukovich and Antti E. J. Hyv{\"a}rinen and Natasha Sharygina}
}
@conference {180,
	title = {PeRIPLO: A Framework for Producing Efficient Interpolants for SAT-based Software Verification},
	booktitle = {Logic for Programming Artificial Intelligence and Reasoning (LPAR)},
	year = {2013},
	address = {Stellenbosch, South Africa},
	author = {Rollini, S.F. and Leonardo Alt and Grigory Fedyukovich and Antti E. J. Hyv{\"a}rinen and Natasha Sharygina}
}
@conference {165,
	title = {PINCETTE - Validating Changes and Upgrades in Networked Software},
	booktitle = {17th European Conference on Software Maintenance and Reengineering},
	year = {2013},
	author = {Chockler, H. and Denaro, G. and Ling, M. and Grigory Fedyukovich and Antti E. J. Hyv{\"a}rinen and Mariani, L. and Muhammad, A. and Oriol, M. and Rajan, A. and Sery, O. and Natasha Sharygina and Tautschnig, M.}
}
