1. S.Anantharaman, J.Hsiang, Automated Proofs of the Moufang Identities in Alternative Rings, JAR, Vol. 6, No. 1, 76–109, 1990.
2. L.Bachmair, N.Dershowitz and J.Hsiang, Orderings for Equational Proofs, in Proc. of LICS-86, 346–357, 1986.
3. L.Bachmair, Proofs Methods for Equational Theories, Ph.D. Thesis, Dept. of Computer Science, Univ. of Illinois at Urbana, 1987.
4. L.Bachmair, H.Ganzinger, Non-Clausal Resolution and Superposition with Selection and Redundancy Criteria, in Proc. of LPAR-92, LNAI 624, 273–284, 1992.
5. M.P.Bonacina, J.Hsiang, On fairness of completion-based theorem proving strategies, in R.V. Book (ed.), Proc. of RTA-91, LNCS 488, 348–360, 1991.