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