author = {B. Buchberger},
title = {{Algorithm Invention and Verification by Lazy Thinking}},
language = {english},
journal = {Analele Universitatii din Timisoara, Seria Matematica - Informatica},
volume = {XLI},
pages = {41--70},
publisher = {Copyright: Mirton Publisher, Timisoara, Romania},
isbn_issn = {ISSN 1224-970X},
year = {2003},
annote = {2003-10-04-A},
note = {special issue on Computer Science - Proceedings of SYNASC'03},
refereed = {yes},
length = {30}