Experiments with ROO, a Parallel Automated Deduction System (1992)

by E L Lusk, W W McCune
Venue:Fronhofer B., Wrightson G., Parallelization in Inference Systems