%0 Journal Article %1 journals/jar/ReynoldsB17 %A Reynolds, Andrew %A Blanchette, Jasmin Christian %D 2017 %J J. Autom. Reason. %K %N 3 %P 341-362 %T A Decision Procedure for (Co)datatypes in SMT Solvers. %U http://dblp.uni-trier.de/db/journals/jar/jar58.html#ReynoldsB17 %V 58

@article{journals/jar/ReynoldsB17, added-at = {2023-12-13T04:37:20.000+0100}, author = {Reynolds, Andrew and Blanchette, Jasmin Christian}, biburl = {https://www.bibsonomy.org/bibtex/2360373706ea1f8bb92c7f998ba57898e/admin}, ee = {https://doi.org/10.1007/s10817-016-9372-6}, interhash = {983865a62221b786dc092f3ade8484dc}, intrahash = {360373706ea1f8bb92c7f998ba57898e}, journal = {J. Autom. Reason.}, keywords = {}, number = 3, pages = {341-362}, timestamp = {2023-12-13T04:37:20.000+0100}, title = {A Decision Procedure for (Co)datatypes in SMT Solvers.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar58.html#ReynoldsB17}, volume = 58, year = 2017 }