70802408

a

70802408 Kirchner, Claude Computing unification algorithms LICS, 206-216 (1986). 1986 EN