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