Feature Logics, Infinitary Descriptions And Grammar by Bill Keller