@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 1st 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",
DOI = "10.1007/3-540-45744-5_37",
YEAR = 2001}