| 1994 | ||
|---|---|---|
| 4 | Marianne Haberstrau: ECOLOG: an Environment for COnstraint LOGics. CCL 1994: 237-252 | |
| 3 | Hubert Comon, Marianne Haberstrau, Jean-Pierre Jouannaud: Syntacticness, Cycle-Syntacticness, and Shallow Theories Inf. Comput. 111(1): 154-191 (1994) | |
| 1992 | ||
| 2 | Marianne Haberstrau: ECOLOG: un Environnement pour la programmation en LOgique COntrainte. JFPL 1992: 69-86 | |
| 1 | Hubert Comon, Marianne Haberstrau, Jean-Pierre Jouannaud: Decidable Problems in Shallow Equational Theories (Extended Abstract) LICS 1992: 255-265 | |
| 1 | Hubert Comon-Lundh (Hubert Comon) | [1] [3] |
| 2 | Jean-Pierre Jouannaud | [1] [3] |