@Proceedings{strategies01, title = {Proc.\ 4th International Workshop on Strategies in Automated Deduction (STRATEGIES 2001)}, year = 2001, editor = {{Maria Paola} Bonacina and Bernhard Gramlich}, address = {Siena, Italy}, month = june, annote = {118 pages} }
@Proceedings{strategies01-entcs-58-2, title = {4th International Workshop on Strategies in Automated Deduction (STRATEGIES 2001) - Selected Papers}, year = 2001, editor = {{Maria Paola} Bonacina and Bernhard Gramlich}, volume = 58, issue = 2 series = {Electronic Notes in Theoretical Computer Science}, publisher = {Elsevier Science Publishers} }