## Stem parthenon$ (all stems)

### 2 papers:

- LICS-1989-BoseCLM #horn clause #named #parallel #proving #theorem proving
- PARTHENON: A Parallel Theorem Prover for Non-Horn Clauses (SB, EMC, DEL, SM), pp. 80–89.
- CADE-1988-AllenBCM #horn clause #named #parallel #proving #theorem proving
- PARTHENON: A Parallel Theorem Prover for Non-Horn Clauses (PEA, SB, EMC, SM), pp. 764–765.