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