Automatic Invention of Functional Abstractions. - Robert J. Henderson; Stephen H. Muggleton (ILP (Late Breaking Papers), 2011)