Deductive and inductive synthesis of equational programs
scientific article; zbMATH DE number 566063
scientific article