The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution (Cambridge Tracts in Theoretical Computer Science, Series Number 32) First edition
- Cambridge University Press c1992.
- 280 p. 7.25 x 1 x 10.25 inches