The Parallel Closure Algorithm in the Theorem Proving Context

In this section we describe the application of the parallel closure algorithm given in [7] to automated theorem proving. Rather than repeat the fairly abstract presentation of [7], we specialize the presentation to the theorem-proving case.