On the reconstruction of proofs in distributed theorem proving: a modified Clause-Diffusion method