Thomas Zeugmann Inductive Inference of Optimal Programs: A Survey and Open Problems. 208-222 1990 conf/nil/1990 Nonmonotonic and Inductive Logic db/conf/nil/nil1990.html#Zeugmann90