Lemma discovery by anti-unification of regular sorts (1994)

by B Heinz