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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.