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