| |
| 1994 | ||
|---|---|---|
| 2 | Hubert Comon, Catherine Delor: Equational Formulae with Membership Constraints Inf. Comput. 112(2): 167-216 (1994) | |
| 1993 | ||
| 1 | Catherine Delor, Laurence Puel: Extension of the Associative Path Ordering to a Chain of Associative Commutative Symbols. RTA 1993: 389-404 | |
| 1 | Hubert Comon-Lundh (Hubert Comon) | [2] |
| 2 | Laurence Puel | [1] |