@INPROCEEDINGS{MPB:CADE1997:peersmcd,
AUTHOR = "Maria Paola Bonacina",
TITLE = "The {C}lause-{D}iffusion theorem prover {P}eers-mcd",
BOOKTITLE = "Proceedings of the
Fourteenth International Conference on Automated Deduction (CADE)",
EDITOR = "William W. McCune",
PUBLISHER = "Springer",
PAGES = "53--56",
SERIES = "Lecture Notes in Artificial Intelligence",
VOLUME = 1249,
MONTH = "July",
YEAR = 1997}