Unification Problems with One-Sided Distributivity

Erik Tidén, Stefan Arnborg. Unification Problems with One-Sided Distributivity. Journal of Symbolic Computation, 3(1/2):183-202, 1987.

Abstract

Abstract is missing.