@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",
MONTH = "December",
VOLUME = 21,
NUMBER = "4--6",
PAGES = "507--522",
YEAR = 1996}