@INPROCEEDINGS{MPB-WWM:CADE1994:peers, AUTHOR = "Maria Paola Bonacina and William W. McCune", TITLE = "Distributed theorem proving by {P}eers", BOOKTITLE = "Proceedings of the 12th International Conference on Automated Deduction (CADE)", EDITOR = "Alan Bundy", SERIES = "Lecture Notes in Artificial Intelligence", VOLUME = 814, PAGES = "841--845", PUBLISHER = "Springer", MONTH = "June", DOI = "10.1007/3-540-58156-1_72", YEAR = 1994}