author = {B. Buchberger},}
title = {{Formal Theory Exploration:The Lazy Thinking Paradigm}},
language = {english},
year = {2002},
month = {September 16},
annote = {2002-09-24-A},
note = {Contributed talk at Calculemus Meeting, Pisa, Italy},
conferencename = {Calculemus Meeting, Pisa, Italy}