Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution (Cambridge Tracts in Theoretical Computer Science, Band 32)