1. Bachmair, L.: Proof by consistency in equational theories. Technical Report, SUNY at Stony Brook USA, 1988
2. Bachmair, L., Dershowitz, N.: Commutation, transformation and termination. In: Siekmann, J. (ed.) Proceedings 8th Conf. on Automated Deduction, Lecture Notes in Computer Science, vol. 230, pp. 5–20. Berlin, Heidelberg, New York: Springer 1986
3. Bachmair, L., Dershowitz, N., Hsiang, J.: Orderings for equational proofs. In: Proceedings Symp. Logic in Computer Science. IEEE, 346–357 (1986)
4. Bellegarde, F.: Rewriting systems onFP expressions to reduce the number of sequences yielded. Sci. Comput. Programming6, 11–34 (1986)
5. Bellegarde, F.: Utilisation des systèmes de réécriture d'expressions fonctionnelles comme outils de transformation de programmes itératifs. Thèse de doctorat d'Etat, Université de Nancy I, 1985