@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}
}
