| C94-2143 | structures . 1 ! 3ven non-l ) | SS unification | algorithms must there , fore |
| C94-2143 | reduces the efficiency gain of I ) | SS unification | . This prechlsion of useful datastructure |
| C94-2143 | assumption holds ini - tially . Non-I ) | SS unification | Mgorithms are also subject to |
