| |
| 2008 | ||
|---|---|---|
| 2 | EE | Sylvain Conchon, Evelyne Contejean, Johannes Kanig, Stéphane Lescuyer: CC(X): Semantic Combination of Congruence Closure with Solvable Theories. Electr. Notes Theor. Comput. Sci. 198(2): 51-69 (2008) |
| 2007 | ||
| 1 | EE | Jean-Francois Couchot, Stéphane Lescuyer: Handling Polymorphism in Automated Deduction. CADE 2007: 263-278 |
| 1 | Sylvain Conchon | [2] |
| 2 | Evelyne Contejean | [2] |
| 3 | Jean-Francois Couchot | [1] |
| 4 | Johannes Kanig | [2] |