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