| 2006 | ||
|---|---|---|
| 2 | EE | Sébastien Limet, Pierre Pillot: Deciding Satisfiability of Positive Second Order Joinability Formulae. LPAR 2006: 15-29 |
| 2005 | ||
| 1 | EE | Sébastien Limet, Pierre Pillot: Solving First Order Formulae of Pseudo-Regular Theory. ICTAC 2005: 110-124 |
| 1 | Sébastien Limet | [1] [2] |