author = {B. Buchberger},
title = {{Theory Exploration Versus Theorem Proving}},
booktitle = {{Proceedings of the Calculemus '99 Workshop}},
language = {english},
series = {Electronic Notes in Theoretical Computer Science},
volume = {23},
number = {3},
pages = {386--386},
publisher = {Elsevier},
isbn_issn = {-},
year = {1999},
annote = {1999-03-23-A},
editor = {A. Armando and T. Jebelean},
refereed = {no},
length = {1}