The logic of typed feature structures : with applications to unification grammars, logic programs and constraint resolution - Carpenter, Bob (Cambridge Tracts in Theoretical Computer Science ;, 1992)