The Logic of Typed Feature Structures door Bob Carpenter & Robert L. Carpenter