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