Geoffrey R. Pike

• Implementation of ellipsis resolution by higher-order unification