Experiments with ROO: A Parallel Automated Deduction System

A taxonomy of parallel strategies for deduction

Annals of Mathematics and Artificial Intelligence

Otter - The CADE-13 Competition Incarnations

Journal of Automated Reasoning

Parallelization of a Hyper-Linking–Based Theorem Prover

Journal of Automated Reasoning

Octopus: Combining Learning and Parallel Search

Journal of Automated Reasoning

A multi-agent framework for distributed theorem proving

Expert Systems with Applications: An International Journal

The Clause-Diffusion Methodology For Distributed Deduction

Fundamenta Informaticae