Constraint-Based Grammar Formalisms: Parsing and Type Inference for Natural and Computer Languages - Shieber (IEEE, 2003)