"Parallel Closure-Based Automated Reasoning."

Ewing L. Lusk, William McCune, John K. Slaney (1990)
a service of Schloss Dagstuhl - Leibniz Center for Informatics