Blanchette, Jasmin Christian Automation of Logic, MPI for Informatics, Max Planck Society;
Reynolds, A., & Blanchette, J. C. (2016). A Decision Procedure for (Co)datatypes in SMT Solvers. In S. Kambhampati (Ed.), Twenty-Fifth International Joint Conference on Artificial Intelligence (pp. 4205-4209). Palo Alto, CA: AAAI. Retrieved from http://www.ijcai.org/Proceedings/16/Papers/631.pdf.