Andrew Reynolds, Jasmin Blanchette. A Decision Procedure for (Co)datatypes in SMT Solvers.
IJCAI 2016, Jul 2016, New York City, United States. Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016.
〈hal-01397082〉