Trace Theory‚ Parsing and Constraints - Pulman, S (1983)