author = {B. Buchberger},
title = {{Systematic Theory Exploration: The Lazy Thinking Paradigm}},
language = {english},
year = {2003},
month = {March 5},
annote = {2003-03-05-A},
note = {Invited talk at Workshop on Computer Algebra, Research Institute of Mathematical Science, Kyoto, Japan},
conferencename = {Workshop on Computer Algebra, Research Institute of Mathematical Science, Kyoto, Japan}