@INPROCEEDINGS{MPB:FTP1998:taxonomy,
AUTHOR = "Maria Paola Bonacina",
TITLE = "Theorem proving strategies: a search-oriented taxonomy (Position paper)",
BOOKTITLE = "Proceedings of the Second International Workshop on
First-order Theorem Proving (FTP)",
EDITOR = {Ricardo Caferra and Salzer, Gernot},
PUBLISHER = {Technische Universit\"at Wien},
SERIES = "Technical Reports",
NUMBER = "E1852--GS--981",
PAGES = "256--259",
MONTH = "November",
YEAR = 1998}