Parthenon: a parallel theorem prover for non-Horn clauses

A taxonomy of parallel strategies for deduction

Annals of Mathematics and Artificial Intelligence

The Use of Lemmas in the Model Elimination Procedure

Journal of Automated Reasoning

Nagging: A Distributed, Adversarial Search-Pruning Technique Applied to First-Order Inference

Journal of Automated Reasoning

SPS-Parallelism + SETHEO = SPTHEO

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

Editorial: Recent developments in high performance computing and security: An editorial

Future Generation Computer Systems

The Clause-Diffusion Methodology For Distributed Deduction

Fundamenta Informaticae