1. S.Anantharaman, J.Hsiang, Automated Proofs of the Moufang Identities in Alternative Rings, JAR, Vol. 6, No. 1, 76–109, 1990.
2. A.Wasilewska, Personal communication, March 1993.
3. J.Avenhaus and J.Denzinger, Distributing Equational Theorem Proving, in C.Kirchner (ed.), Proc. of the 5th RTA Conf., Springer Verlag, LNCS, to appear.
4. W. Bledsoe, Challenge problems in elementary calculus, JAR, Vol. 6, No. 3, 341–359, 1990.
5. M.P. Bonacina, Problems in Lukasiewicz logic, Newsletter of the AAR, No. 18, 5–12, Jun. 1991.