S. Kamal Abdali Jan Vytopil Generalization Heuristics for Theorems Related to Recursively Defined Functions. 1-5 1984 AAAI db/conf/aaai/aaai84.html#AbdaliV84