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