Experiments with Roo, a parallel automated deduction system (1992)

by E Lusk, W McCune
Venue:Parallelization in Inference Systems, Lecture Notes in Arti Intelligence