@misc{RISC2168,
author = {B. Buchberger},
title = {{Algorithm Synthesis by Failing Correctness Proofs}},
language = {english},
year = {2003},
month = {December 5},
annote = {2003-12-05-A},
note = {Invited colloquium talk at Mathematisches Institut, Universitaet Muenchen},
institution = {Mathematisches Institut, Universitaet Muenchen}
}