On the Time and Tape Complexity of Weak Unification. - W. Erni; R. Lapsien (Inf. Process. Lett., 1981)