@INPROCEEDINGS{MPB:IJCAR2001:peersmcdd,
AUTHOR = "Maria Paola Bonacina",
TITLE = "Combination of distributed search and multi-search in {P}eers-mcd.d",
BOOKTITLE = "Proceedings of the First International Joint Conference on
Automated Reasoning (IJCAR)",
EDITOR = "Rajeev P. Gore and Alexander Leitsch and Tobias Nipkow",
SERIES = "Lecture Notes in Artificial Intelligence",
VOLUME = 2083,
PAGES = "448--452",
PUBLISHER = "Springer",
MONTH = "June",
YEAR = 2001}