@inproceedings{RISC2335,
author = {B. Buchberger and A. Craciun},
title = {{Algorithm Synthesis by Lazy Thinking: Examples and Implementation in Theorema}},
booktitle = {{Electronic Notes in Theoretical Computer Science}},
language = {english},
volume = {93},
pages = {24--59},
isbn_issn = {ISBN 044451290X},
year = {2004},
month = {18 February},
annote = {2004-02-18-A},
note = {Proc. of the Mathematical Knowledge Management Workshop, Edinburgh, Nov. 25, 2003},
editor = {Fairouz Kamareddine},
refereed = {yes},
length = {15},
url = {http://www.sciencedirect.com/science/journal/15710661}
}