Stephane Lapointe, Stan Matwin
Sub-unification: A Tool for Efficient Induction of Recursive Programs
ICML, 1992.
@inproceedings{ML-1992-LapointeM, author = "Stephane Lapointe and Stan Matwin", booktitle = "{Proceedings of the Ninth International Workshop on Machine Learning}", isbn = "1-55860-247-X", pages = "273--281", publisher = "{Morgan Kaufmann}", title = "{Sub-unification: A Tool for Efficient Induction of Recursive Programs}", year = 1992, }