@conference {326,
	title = {Farkas-Based Tree Interpolation},
	booktitle = {SAS 2020 - 27th Static Analysis Symposium},
	year = {2020},
	publisher = {Springer},
	organization = {Springer},
	address = {Online Conference},
	url = {https://link.springer.com/chapter/10.1007\%2F978-3-030-65474-0_16},
	author = {Sepideh Asadi and Martin Blicha and Antti Hyv{\"a}rinen and Grigory Fedyukovich and Natasha Sharygina}
}
@conference {287,
	title = {Lattice-Based Refinement in Bounded Model Checking},
	booktitle = {VSTTE},
	year = {2018},
	month = {07/2018},
	author = {Karine Even-Mendoza and Sepideh Asadi and Antti Hyv{\"a}rinen and Hana  Chockler and Natasha Sharygina}
}
