@inproceedings{reynolds:hal-01212585, TITLE = {{A Decision Procedure for (Co)datatypes in SMT Solvers}}, AUTHOR = {Reynolds, Andrew and Blanchette, Jasmin Christian}, URL = {https://inria.hal.science/hal-01212585}, BOOKTITLE = {{CADE-25 - The 25th jubilee edition of the International Conference on Automated Deduction}}, ADDRESS = {Berlin, Germany}, SERIES = {Automated Deduction - CADE-25 : 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings}, PAGES = {197-213}, YEAR = {2015}, MONTH = Aug, DOI = {10.1007/978-3-319-21401-6\_13}, KEYWORDS = {Datatype ; Codatatypes ; Acyclic Rule ; Nelson-Oppen Method ; Cyclic Values}, PDF = {https://inria.hal.science/hal-01212585/file/conf.pdf}, HAL_ID = {hal-01212585}, HAL_VERSION = {v1}, }