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

by L St'ephane, S Matwin
Venue:In Proceedings of the 9th International Workshop on ML