An abstract decision procedure for satisfiability in the theory of recursive data types

Clark Barrett, Igor Shikanian, Cesare Tinelli

Research output: Book/ReportOther report

Original languageEnglish (US)
PublisherDepartment of Computer Science, New York University
Publication statusPublished - Nov 2005

Publication series

NameTechnical Report TR2005-878

Cite this

Barrett, C., Shikanian, I., & Tinelli, C. (2005). An abstract decision procedure for satisfiability in the theory of recursive data types. (Technical Report TR2005-878). Department of Computer Science, New York University.