Andrew Cook Andrew Ireland Greg Michaelson Norman Scaife Discovering applications of higher order functions through proof planning. 38-57 2005 17 Formal Asp. Comput. 1 http://dx.doi.org/10.1007/s00165-004-0054-5 db/journals/fac/fac17.html#CookIMS05