"The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution (Cambridge Tracts in Theoretical Computer Science, Volume 32)" - читать интересную книгу автора (Bob Carpenter)