An instantiation-based theorem prover for first-order programming

@INPROCEEDINGS{DBLP:conf/aistats/ZawadzkiGP11,
	pdf = {pub/FOPinstgen.pdf},

  author    = {Erik P. Zawadzki and
               Geoffrey J. Gordon and
               Andr{\'e} 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},
}```