The generalized unification parser: Modelling the parsing of notations. - Thomas R. G. Green; Andrea Borning (INTERACT, 1990)