A Parallel Connection Graph Proof Procedure. - Günter Hornung; Anfried Knapp; Ulrike Knapp (GWAI, 1981)