Inductive Programming Meets the Real World. - GULWANI, SUMIT; HERNÁNDEZ-ORALLO, JOSÉ; KITZELMANN, EMANUEL; MUGGLETON, STEPHEN H.; SCHMID, UTE; ZORN, BENJAMIN (Communications of the ACM, 2015)