Constraint-based grammar formalisms parsing and type inference for natural and computer languages - Shieber, Stuart M. (MIT Press, 1992)
Keywords: Computational linguistics.; Grammar, Comparative and general -- Data processing.; Programming languages (Electronic computers) -- Syntax.; Parsing (Computer grammar); elektronické knihy; electronic books