@INPROCEEDINGS{MPB:STRATEGIES1999:paratax, AUTHOR = "Maria Paola Bonacina", TITLE = "Ten years of parallel theorem proving: a perspective", BOOKTITLE = "Proceedings of the 3rd Workshop on Strategies in Automated Deduction (STRATEGIES)", EDITOR = {Bernhard Gramlich and H\'el\`ene Kirchner and Frank Pfenning}, PAGES = "3--15", MONTH = "July", YEAR = 1999}