@ARTICLE{MPB:JSC:1996:mcd, AUTHOR = "Maria Paola Bonacina", TITLE = "On the reconstruction of proofs in distributed theorem proving: a modified {C}lause-{D}iffusion method", JOURNAL = "Journal of Symbolic Computation", VOLUME = 21, NUMBER = "4--6", PAGES = "507--522", MONTH = "December", DOI = "10.1006/jsco.1996.0028", YEAR = 1996}