Parallelizing the closure computation in automated deduction (1990)

by J Slaney, E Lusk
Venue:Proceedings of the 10th International Conference on Automated Deduction, Lecture Notes in Artificial Intelligence