An algebraic foundation for automatic feature-based program synthesis
automatic feature-based program synthesis
scientific article; zbMATH DE number 5774993
scientific article