| |
| 2007 | ||
|---|---|---|
| 4 | EE | Richard Bonichon, David Delahaye, Damien Doligez: Zenon : An Extensible Automated Theorem Prover Producing Checkable Proofs. LPAR 2007: 151-165 |
| 2006 | ||
| 3 | EE | Richard Bonichon, Olivier Hermant: A Semantic Completeness Proof for TaMeD. LPAR 2006: 167-181 |
| 2 | EE | Richard Bonichon, Olivier Hermant: On Constructive Cut Admissibility in Deduction Modulo. TYPES 2006: 33-47 |
| 2004 | ||
| 1 | EE | Richard Bonichon: TaMeD: A Tableau Method for Deduction Modulo. IJCAR 2004: 445-459 |
| 1 | David Delahaye | [4] |
| 2 | Damien Doligez | [4] |
| 3 | Olivier Hermant | [2] [3] |