The logic of typed feature structures : with applications to unification grammars, logic programs, and constraint resolution / - Carpenter, Bob. (Cambridge University Press, 1992)