@INPROCEEDINGS{MPB:STRATEGIES1998:parasearch,
AUTHOR = "Maria Paola Bonacina",
TITLE = "Strategy analysis: from sequential to parallel strategies (Position paper)",
BOOKTITLE = "Notes of the Second Workshop on Strategies in Automated Deduction (STRATEGIES),
Fifteenth International Conference on Automated Deduction (CADE)",
EDITOR = {Bernhard Gramlich and Kirchner, H\'el\`ene and Frank Pfenning},
PAGES = "19--21",
MONTH = "July",
YEAR = 1998}