@inproceedings{ccb071c777504181b8a277cd2c723576,
title = "Algorithm Synthesis by Lazy Thinking: Examples and Implementation in Theorema",
author = "Adrian Craciun and Bruno Buchberger",
year = "2004",
month = feb,
day = "18",
doi = "10.1016/j.entcs.2003.12.027",
language = "English",
isbn = "044451290X",
volume = "93",
series = "Electronic Notes in Theoretical Computer Science",
publisher = "ELSEVIER SCIENCE BV",
pages = "24--59",
editor = "\{Fairouz Kamareddine\}",
booktitle = "Electronic Notes in Theoretical Computer Science",
}