1. Abdulrab, H. (1987). Equations en Mots. Technical Report 7.87, Greco de Programmation, Bordeaux, France.
2. Arnborg, S., and Tiden, E. (1985). “Unification problems with one-sided distributivity,” In Proceedings of the 1st Conference on Rewriting techniques and applications, Springer-Verlag, Dijon, France 398–406.
3. Bachmair, L., and Dershowitz, N. (1987). “Completion for rewriting modulo a congruence,” In Proceedings Second Conference on Rewriting Techniques and Applications, Springer Verlag, Bordeaux, France.
4. Bürckert, H., Herold, A., and Schmidt-Schauß, M. (1987). “On equational theories, unification and decidability,” In Proceedings of the Second Conference on Rewriting Techniques and Applications, Springer-Verlag, Bordeaux, France.
5. Büttner, W. (1985). Unification in the data structure multiset. Memo SEKI-85-V-KL, Universität Kaiserslautern, Kaiserslautern, W. Germany.