Maria Paola Bonacina Jieh Hsiang Distributed Deduction by Clause-Diffusion: Distributed Contraction and the Aquarius Prover. 245-267 1995 19 J. Symb. Comput. 1-3 db/journals/jsc/jsc19.html#BonacinaH95