b'@inproceedings{ReynoldsCADE2015,'b'\nTITLE = {A Decision Procedure for (Co)datatypes in {SMT} Solvers},\nAUTHOR = {Reynolds, Andrew and Blanchette, Jasmin Christian},\nLANGUAGE = {eng},\nISBN = {978-3-319-21400-9},\nDOI = {10.1007/978-3-319-21401-6_13},\nPUBLISHER = {Springer},\nYEAR = {2015},\nDATE = {2015},\nBOOKTITLE = {Automated Deduction -- CADE-25},\nEDITOR = {Felty, Amy P. and Middeldorp, Aart},\nPAGES = {197--213},\nSERIES = {Lecture Notes in Artificial Intelligence},\nVOLUME = {9195},\nADDRESS = {Berlin, Germany},\n}\n'