The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution

Name: The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution
Author: Robert L. Carpenter