@misc{RISC4813,
author = {B. Buchberger},
title = {{Automated Algorithm Synthesis by the Lazy Thinking Method}},
language = {english},
year = {2013},
month = {May 22},
annote = {2013-05-22-A},
note = {Invited colloquium talk at Technical University of Vienna, Computer Science Department},
institution = {Technical University of Vienna, Computer Science Department}
}