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