Jr. Charles David Page

Anti-unification in constraint logics: foundations and applications to learnability in first-order logic, to speed-up learning, and to deduction

Jr. Charles David Page, 1993 .