An instantiation-based theorem prover for first-order programming

@inproceedings{DBLP:conf/aistats/ZawadzkiGP11,
	pdf = {pub/FOPinstgen.pdf},
	author = {['Erik P. Zawadzki', 'Geoffrey J. Gordon', 'André Platzer']},
	title = {An Instantiation-Based Theorem Prover for
               First-Order Programming},
	shortbooktitle = {AISTATS},
	year = {2011},
	pages = {},
	doi = {},
	booktitle = {Proceedings of the 14th International
               Conference on Artifical Intelligence and
               Statistics (AISTATS) 2011, Fort Lauderdale,
               FL, USA},
	volume = {15},
	series = {JMLR W&CP},
	eprint = {https://proceedings.mlr.press/v15/zawadzki11a.html}
}