Books by Stuart M. Shieber
Contraint-Based Grammar Formal
Contraint-Based Grammar Formalisms
Constraint-based grammar formalisms
Foundational issues in natural language processing
Labeling point features on map
Labeling point features on maps and diagrams using simulated annealing
Prolog and natural-language analysis
An introduction to unification-based approaches to grammar