ECOLOG: un Environnement pour la programmation en LOgique COntrainte. - Marianne Haberstrau (JFPL, 1992)

Decidable Problems in Shallow Equational Theories (Extended Abstract) - Hubert Comon; Marianne Haberstrau; Jean-Pierre Jouannaud (LICS, 1992)

ECOLOG: an Environment for COnstraint LOGics. - Marianne Haberstrau (CCL, 1994)

Syntacticness, Cycle-Syntacticness, and Shallow Theories - Hubert Comon; Marianne Haberstrau; Jean-Pierre Jouannaud (Inf. Comput., 1994)