Strategic Lazy Incremental Copy Graph Unification Kiyoshi Kogure author 1990 text COLING 1990 Volume 2: Papers presented to the 13th International Conference on Computational Linguistics conference publication kogure-1990-strategic https://aclanthology.org/C90-2039/ 1990