Sub-unification: A Tool for Efficient Induction of Recursive Programs.

Stephane Lapointe, Stan Matwin

Browse the full ICML paper archive.