The Logic of Typed Feature Structures

The Logic of Typed Feature Structures