Unification problems with one-sided distributivity

• Authors:

• Stefan Arnborg;Erik Tidén

• Affiliations:

• Royal Institute of Technology, Stockholm, Sweden;Royal Institute of Technology, Stockholm, Sweden

• Venue:
• Proc. of the first international conference on Rewriting techniques and applications
• Year:
• 1985