Logic of Typed Feature Structures, The (Cambridge Tracts in Theoretical Computer Science)