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

Andrew Reynolds, Jasmin Christian Blanchette

Browse the full IJCAI paper archive.