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