Thomas Zeugmann: Inductive Inference of Optimal Programs: A Survey and Open Problems. Nonmonotonic and Inductive Logic 1990: 208-222