@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"
}