@TECHREPORT{MPB:TR1996:search,
AUTHOR = "Maria Paola Bonacina",
TITLE = "A note on the analysis of theorem-proving strategies",
INSTITUTION = "Department of Computer Science, The University of Iowa",
MONTH = "May",
YEAR = 1996}