@MISC{MPB:NSF1996:search,
AUTHOR = "Maria Paola Bonacina",
TITLE = "Strategy analysis for theorem proving (Position paper)",
HOWPUBLISHED = "In D. W. Loveland and D. Kapur (eds.),
NSF Workshop on Future Directions of Automated Deduction",
MONTH = "April",
YEAR = 1996}