@INPROCEEDINGS{MPB:PASCO1997:AGO, AUTHOR = "Maria Paola Bonacina", TITLE = "Experiments with subdivision of search in distributed theorem proving", BOOKTITLE = "Proceedings of the 2nd International Symposium on Parallel Symbolic Computation (PASCO)", EDITOR = "Markus Hitz and Kaltofen, Erich", PAGES = "88--100", PUBLISHER = "ACM Press", MONTH = "July", DOI = "10.1145/266670.266696", YEAR = 1997}