The Clause-Diffusion methodology for distributed deduction