| 2007 | ||
|---|---|---|
| 1 | EE | Clark Barrett, Igor Shikanian, Cesare Tinelli: An Abstract Decision Procedure for Satisfiability in the Theory of Recursive Data Types. Electr. Notes Theor. Comput. Sci. 174(8): 23-37 (2007) |
| 1 | Clark W. Barrett (Clark Barrett) | [1] |
| 2 | Cesare Tinelli | [1] |