author = {B. Buchberger},
title = {{Algorithm Synthesis by Lazy Thinking}},
language = {english},
year = {2007},
month = { June 6-8},
annote = {2007-06-06-A},
note = {Invited talk at Conference on Knowledge Engineering: Principles and Techniques},
institution = {Babes-Bolyai University, Cluj-Napoca, Romania},
conferencename = {Conference on Knowledge Engineering: Principles and Techniques}