@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}