Authors: K.U.Schulz

Citation: K.u.schulz, Word Unification and Trasformation of Generalized Equations, Journal of automated reasoning , 11(2), 1993, pp. 149-184