Hubert Comon, Marianne Haberstrau, Jean-Pierre Jouannaud. Decidable Problems in Shallow Equational Theories (Extended Abstract). In Proceedings, Seventh Annual IEEE Symposium on Logic in Computer Science, 22-25 June 1992, Santa Cruz, California, USA. pages 255-265, IEEE Computer Society, 1992.
Abstract is missing.