tech,10-2-C92-2068,ak | speed-up element in the design of <term> | unification algorithms | </term> : avoidance of copying of unmodified | #22939 We focus on one speed-up element in the design of unification algorithms : avoidance of copying of unmodified subgraphs. |