S. Kamal Abdali, Jan Vytopil. Generalization Heuristics for Theorems Related to Recursively Defined Functions. In AAAI. pages 1-5, 1984.
@inproceedings{AbdaliV84, title = {Generalization Heuristics for Theorems Related to Recursively Defined Functions}, author = {S. Kamal Abdali and Jan Vytopil}, year = {1984}, researchr = {https://researchr.org/publication/AbdaliV84}, cites = {0}, citedby = {0}, pages = {1-5}, booktitle = {AAAI}, }