M. Hofmann, E. Kitzelmann, and U. Schmid. ACM SIGPLAN Workshop on Approaches and Applications of Inductive Programming, page 65--74. University of Bamberg, (2009)A revised version will appear in ScKiPl10.
M. Hofmann, E. Kitzelmann, and U. Schmid. German Conference on Artificial Intelligence (KI'08), volume 5243 of LNAI, page 78--86. Springer-Verlag, (2008)