An algebraic approach to unification under associativity and commutativity

• Authors:

• Albrecht Fortenbacher

• Affiliations:

• Univ. Karlsruhe, Karlsruhe, W. Germany and IBM T. J. Watson Research Center, Yorktown Heights, NY

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