David M. W. Powers Parallel and Efficient Implementation of the Compartmentalized Connection Graph Proof Procedure: Resolution to Unification. 210-233 1990 conf/dagstuhl/1990pis Dagstuhl Seminar on Parallelization in Inference Systems db/conf/dagstuhl/pis1990.html#Powers90