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.

Possibly Related Publications

The following publications are possibly variants of this publication: