Generalization Heuristics for Theorems Related to Recursively Defined Functions.

S. Kamal Abdali, Jan Vytopil

Browse the full AAAI paper archive.