| |
| 2008 | ||
|---|---|---|
| 1 | 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) |
| 1 | Sylvain Conchon | [1] |
| 2 | Evelyne Contejean | [1] |
| 3 | Stéphane Lescuyer | [1] |