Algorithm synthesis by lazy thinking: Using problem schemes (2004)

by B Buchberger, A Craciun
Venue:In SYNASC 2004