John K. Slaney Ewing L. Lusk Parallelizing the Closure Computation in Automated Deduction. 28-39 1990 conf/cade/1990 CADE db/conf/cade/cade90.html#SlaneyL90 https://doi.org/10.1007/3-540-52885-7_77