1. J.Avenhaus and J.Denzinger, Distributing Equational Theorem Proving, in C.Kirchner (ed.), Proceedings of the Fifth Conference on Rewriting Techniques and Applications, Montréal, Canada, June 1993, Springer Verlag, Lecture Notes in Computer Science 690, 62–76, 1993.
2. M.P.Bonacina, Distributed Automated Deduction, Ph.D. Thesis, Department of Computer Science, State University of New York at Stony Brook, December 1992.
3. M.P.Bonacina and J.Hsiang, On fairness in distributed deduction, in P.Enjalbert, A.Finkel and K. W.Wagner (eds.), Proceedings of the Tenth Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 1993, Springer Verlag, Lecture Notes in Computer Science 665, 141–152, 1993.
4. M.P.Bonacina and J.Hsiang, The Clause-Diffusion methodology for distributed deduction, submitted for publication.
5. M.P.Bonacina and J.Hsiaug, Distributed Deduction by Clause-Diffusion: the Aquarius Prover, in A.Miola (ed.), Proceedings of the Third International Symposium on Design and Implementation of Symbolic Computation Systems, Gmunden, Austria, September 1993, Springer Verlag, Lecture Notes in Computer Science 722, 272–287, 1993.