Martin Hofmann 0008 Andreas Hirschberger Emanuel Kitzelmann Ute Schmid Inductive Synthesis of Recursive Functional Programs. 468-472 2007 conf/ki/2007 KI http://dx.doi.org/10.1007/978-3-540-74565-5_42 db/conf/ki/ki2007.html#HofmannHKS07