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