An abstract decision procedure for a theory of inductive data types

Clark Barrett, Igor Shikanian, Cesare Tinelli

Research output: Contribution to journalArticle

Original languageEnglish (US)
Pages (from-to)21-46
JournalJournal of Satisfiability, Boolean Modeling and Computation
Volume3
StatePublished - 2007

Cite this