author = {B. Buchberger},
title = {{Mathematical Theory Exploration}},
language = {english},
year = {2006},
month = {August 17-20},
annote = {2006-08-17-A},
note = {Invited talk at IJCAR, Seattle, USA},
conferencename = {IJCAR, Seattle, USA}