Adam Bakewell Colin Runciman Automated Generalisation of Function Definitions. 225-240 1999 conf/flops/1999 Fuji International Symposium on Functional and Logic Programming db/conf/flops/flops99.html#BakewellR99