- Maria Paola Bonacina.
Parallel theorem proving.
In
*Handbook of Parallel Constraint Reasoning*. Springer, Lecture Notes in Computer Science, 177-233, in press (**invited**). - Maria Paola Bonacina.
A taxonomy of parallel strategies for deduction.
Annals of Mathematics and Artificial Intelligence,
29(1-4):223-257, 2000;
DOI: 10.1023/A:1018932114059.
- Maria Paola Bonacina.
Ten years of parallel theorem proving: a perspective. In
*Notes of the Third Workshop on Strategies in Automated Deduction*(STRATEGIES 1999), 3-15,*Second Federated Logic Conference*, Trento, Italy, July 1999 (**invited**). - Maria Paola Bonacina and Jieh Hsiang.
Parallelization of deduction strategies: an analytical study.
Journal of Automated Reasoning, 13:1-33, August 1994;
DOI: 10.1007/BF00881910.
(Presented in part as a tutorial at
*CADE-12*, 1994).

- Maria Paola Bonacina and Jieh Hsiang.
The Clause-Diffusion methodology for distributed deduction.
Fundamenta Informaticae, 24(1,2):177-207, September 1995;
DOI: 10.3233/FI-1995-24128.
- Maria Paola Bonacina and Jieh Hsiang.
On subsumption in distributed derivations.
Journal of
Automated Reasoning, 12(2):225-240, April 1994;
DOI: 10.1007/BF00881888.
- Maria Paola Bonacina and Jieh Hsiang.
On fairness in distributed deduction.
In
*Proceedings of the Tenth Symposium on Theoretical Aspects of Computer Science (STACS)*, Springer, Lecture Notes in Computer Science 665, 141-152, 1993; DOI: 10.1007/3-540-56503-5_17. - Maria Paola Bonacina. Distributed automated deduction. Ph.D. Thesis, Department of Computer Science, State University of New York at Stony Brook, December 1992.

- Maria Paola Bonacina.
On the reconstruction of proofs in distributed theorem proving: a modified Clause-Diffusion method.
Journal of Symbolic Computation, 21(4,5&6):507-522, April-June 1996;
DOI: 10.1006/jsco.1996.0028.
- Maria Paola Bonacina.
Future directions of automated deduction: Distributed automated deduction.
National Science Foundation Workshop on the Future Directions of Automated Deduction, Chicago, Illinois, USA, April 1996.
- Maria Paola Bonacina.
On the reconstruction of proofs in distributed theorem proving with contraction: a modified Clause-Diffusion method.
In
*Proceedings of the First International Symposium on Parallel Symbolic Computation (PASCO)*, World Scientific, Lecture Notes Series in Computing 5, 22-33, 1994.

- Hantao Zhang, Maria Paola Bonacina and Jieh Hsiang.
PSATO: a distributed propositional prover and its application to quasigroup problems.
Journal of Symbolic Computation, 21(4,5&6):543-560, April-June 1996;
DOI: 10.1006/jsco.1996.0030.
- Hantao Zhang and Maria Paola Bonacina.
Cumulating search in a distributed computing environment: a case study in parallel satisfiability.
In
*Proceedings of the First International Symposium on Parallel Symbolic Computation (PASCO)*, World Scientific, Lecture Notes Series in Computing 5, 422-431, 1994.