@InProceedings{RB15, Author = "Reynolds, A. and Blanchette, J.", Year = "2015", Title = "{A Decision Procedure for (Co)Datatypes in SMT Solvers}", Editor = "Felty, A. and Middeldorp, A.", BookTitle = "{Proceedings of the 25th International Conference on Automated Deduction}", Place = "Berlin, Germany", Series = "Lecture Notes in Computer Science", Number = "9195", Pages = "197-213", Publisher = "Springer-Verlag", Comment = "" }