| |
| * | 2009 | |
|---|---|---|
| 2 | EE | Hicham Bensaid, Ricardo Caferra, Nicolas Peltier: Dei: A Theorem Prover for Terms with Integer Exponents. CADE 2009: 146-150 |
| 2007 | ||
| 1 | EE | Hicham Bensaid, Ricardo Caferra, Nicolas Peltier: Towards Systematic Analysis of Theorem Provers Search Spaces: First Steps. WoLLIC 2007: 38-52 |
| 1 | Ricardo Caferra | [1] [2] |
| 2 | Nicolas Peltier | [1] [2] |