author = {B. Buchberger},}
title = {{Systematic Theory Exploration: The Lazy Thinking Paradigm}},
language = {english},
year = {2003},
month = {March 7},
annote = {2003-03-07-A},
note = {Invited colloquium talk at Mathematics Department, University of Kyushu, Fukuoka, Japan},
institution = {Mathematics Department, University of Kyushu, Fukuoka, Japan}