@InProceedings{RD+15,
    Author       = "Reynolds, A. and Deters, M. and Kuncak, V. and Barrett, C.
                    and Tinelli, C.",
    Year         = "2015",
    Title        = "{Counterexample Guided Quantifier Instantiation for
                    Synthesis in CVC4}",
    Editor       = "Kroening, D. and Pasareanu, C.",
    BookTitle    = "{Proceedings of the 27th International Conference on
                    Computer Aided Verification}",
    Place        = "San Francisco, USA",
    Series       = "Lecture Notes in Computer Science",
    Number       = "9207",
    Pages        = "198-216",
    Publisher    = "Springer-Verlag",
    Comment      = ""
}