![](/img/cover-not-exists.png)
An Abstract Decision Procedure for a Theory of Inductive Data Types
Barrett, Clark, Shikanian, Igor, Tinelli, Cesare, Cook, Byron, Sebastiani, RobertoVolume:
3
Journal:
Journal on Satisfiability, Boolean Modeling and Computation
DOI:
10.3233/sat190028
Date:
July, 2007
File:
PDF, 347 KB
2007