@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}