Martin Hofmann 0008 Emanuel Kitzelmann Ute Schmid Analysis and Evaluation of Inductive Programming Systems in a Higher-Order Framework. 78-86 2008 KI http://dx.doi.org/10.1007/978-3-540-85845-4_10 conf/ki/2008 db/conf/ki/ki2008.html#HofmannKS08