Knowledge and reasoning in program synthesis
scientific article; zbMATH DE number 3474934