A Decision Procedure for (Co)datatypes in SMT Solvers.

Andrew Reynolds, Jasmin Christian Blanchette

Browse the full CADE paper archive.