Decision procedures for algebraic data types with abstractions

Philippe Suter, Mirco Dotta, Viktor Kuncak. Decision procedures for algebraic data types with abstractions. In Manuel V. Hermenegildo, Jens Palsberg, editors, Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010. pages 199-210, ACM, 2010. [doi]

Bibliographies