Unification encodings of grammatical notations - Pulman, S (Computational Linguistics, 1996)