Efficient Disjunctive Unification for Bottom-Up Parsing David Carter author 1990 text COLING 1990 Volume 3: Papers presented to the 13th International Conference on Computational Linguistics conference publication carter-1990-efficient https://aclanthology.org/C90-3013/ 1990