Extension of the Associative Path Ordering to a Chain of Associative Commutative Symbols. - Catherine Delor; Laurence Puel (RTA, 1993)

Equational Formulae with Membership Constraints - Hubert Comon; Catherine Delor (Inf. Comput., 1994)