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