@InProceedings{KRV17,
    Author       = "Kov{\'a}cs, L. and Robillard, a. and Voronkov, A.",
    Year         = "2017",
    Title        = "{Coming to Terms with Quantified Reasoning}",
    Editor       = "Gordon, A.",
    BookTitle    = "{Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming
                    Languages}",
    Place        = "Paris, France",
    Pages        = "260-270",
    Publisher    = "Association for Computing Machinery",
    Comment      = ""
}