Hideto Tomabechi: Quasi-Destructive Graph Unification with Structure-Sharing. COLING 1992: 440-446