@misc{indiciae11518ded52e9,
  title = {On Counterexample Guided Quantifier Instantiation for Synthesis in CVC4},
  author = {Andrew Reynolds and Morgan Deters and Viktor Kuncak and Cesare Tinelli and Clark Barrett},
  year = {2015},
  url = {https://arxiv.org/abs/1502.04464},
  note = {Source identifier: 1502.04464}
}