Publication

A Decision Procedure for (Co)datatypes in SMT Solvers