Parthenon: A parallel theorem prover for non-horn clauses

Mechanical Theorem-Proving by Model Elimination

1968 • 197 citations

A Simplified Format for the Model Elimination Theorem-Proving Procedure

1969 • 147 citations

A Prolog technology theorem prover

1984 • 99 citations

The memory management of PROLOG implementations

1980 • 74 citations

Or-parallel execution models of Prolog

2005 • 71 citations

Scheduling OR-Parallelism: An Argonne Perspective.

1988 • 35 citations