| Title | Journal | Journal Categories | Citations | Publication Date |
|---|---|---|---|---|
| Z3: An Efficient SMT Solver | 2008 | |||
| Reducing Inductive Definitions to Propositional Satisfiability | 2005 | |||
| A Practical Approach to Partial Functions in CVC Lite | Electronic Notes in Theoretical Computer Science | 7 | 2005 | |
| Flora-2: A Rule-Based Knowledge Representation and Inference Infrastructure for the Semantic Web | 2003 | |||
| The card game SET | 2003 |