@misc{RISC4766,
author = {B. Buchberger},
title = {{Algorithm Synthesis by Lazy Thinking: Case Study Groebner Bases}},
language = {english},
year = {2010},
month = {July 23-25},
annote = {2010-07-23-A},
note = {Invited talk at LOPSTR 2010 (20th International Symposium on Logic-Based Program Synthesis and Transformation)},
organization = {RISC, Hagenberg, Austria},
conferencename = {LOPSTR 2010 (20th International Symposium on Logic-Based Program Synthesis and Transformation)}
}