Sub-unification: a tool for efficient induction of recursive programs (1992)

by S Lapointe, S Matwin
Venue:In Proceedings of the Ninth International Machine Learning Conference, Los Altos