@article{ApelLengauerMoelleretal.2018, author = {Sven Apel and Christian Lengauer and Bernhard M{\"o}ller and Christian K{\"a}stner}, title = {An algebraic foundation for automatic feature-based program synthesis}, journal = {Science of Computer Programming}, volume = {75}, number = {11}, pages = {1022 -- 1047}, doi = {10.1016/j.scico.2010.02.001}, year = {2018}, }