@inproceedings{ReyEtAl-CAV-15,
	Author = {Andrew Reynolds and Morgan Deters and Viktor Kuncak and Cesare Tinelli and Clark W. Barrett},
	Booktitle = {Proceedings of the 27th International Conference on Computer Aided Verification},
	Editor = {Daniel Kroening and Corina S. Pasareanu},
	Pages = {198--216},
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Title = {Counterexample-Guided Quantifier Instantiation for Synthesis in {SMT}},
	Volume = {9207},
	Year = {2015}}