@InProceedings{LM92, Author = "Lusk, E.L. and McCune, W.W.", Year = "1992", Title = "{Experiments with ROO, a Parallel Automated Deduction System}", Editor = "Fronhofer, B. and Wrightson, G.", BookTitle = "{Parallelization in Inference Systems}", Volume = "590", Pages = "139-162", Comment = "TPTPRef, parallel deduction" }