@INPROCEEDINGS{MPB:STRATEGIES1997:search, AUTHOR = "Maria Paola Bonacina", TITLE = "Machine-independent evaluation of theorem-proving strategies (Position paper)", BOOKTITLE = "Proceedings of the 1st Workshop on Strategies in Automated Deduction (STRATEGIES)", EDITOR = {Bernhard Gramlich and H\'el\`ene Kirchner}, PAGES = "37--39", MONTH = "July", YEAR = 1997}