1. S. Anantharaman, J. Hsiang, Automated Proofs of the Moufang Identities in Alternative Rings, To appear in the J. Automated Reasoning, 1989
2. S. Anantharaman, J. Mzali, Unfailing Completion Modulo a set of Equations, Research Report, no. 470, LRI-Orsay (Fr.), 1989
3. S. Anantharaman, J. Hsiang, J. Mzali, SbReve2: A term Rewriting Laboratory with (AC-)Unfailing Completion, RTA (1989)
4. S. Anantharaman, M-P. Bonacina, Automated Proofs in the Logic of Lukasiewicz, Research Report no. 89-11, LIFO — Orléans.
5. L. Bachmair, Proof Methods for Equational Theories, Ph.D. Thesis, University of Illinois at Urbana-Champaign, Urbana, Illinois, USA, 1987