@InProceedings{RB+19,
    Author       = "Reynolds, A. and Barbosa, H. and N{\"o}tzli, A. and Barrett, C. and
                    Tinelli, C.",
    Year         = "2019",
    Title        = "{cvc4sy: Smart and Fast Term Enumeration for Syntax-Guided Synthesis}",
    Editor       = "Dillig, I. and Tasiran, S.",
    BookTitle    = "{Proceedings of the 31st International Conference on Computer Aided
                    Verification}",
    Place        = "New York City, USA",
    Series       = "Lecture Notes in Computer Science",
    Number       = "11562",
    Pages        = "74-83",
    Publisher    = "Springer",
    Address      = "Berlin, Germany",
    Comment      = ""
}