@inproceedings{063eb25affdb469790c76abe9ccd4ae0,
title = "Algorithm Synthesis by Lazy Thinking: Using Problem Schemes",
author = "Adrian Craciun and Bruno Buchberger",
year = "2004",
month = sep,
language = "English",
isbn = "973-661-441-7",
pages = "90--106",
editor = "{D.Petcu and V.Negru and D.Zaharie and T.Jebelean}",
booktitle = "Proceedings of SYNASC 2004, 6th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing Timisoara",
publisher = "Copyright: Mirton Publisher",
}