A General Complete E-Unification Procedure

• Authors:

• Jean H. Gallier;Wayne Snyder

• Affiliations:

• -;-

• Venue:
• RTA '87 Proceedings of the 2nd International Conference on Rewriting Techniques and Applications
• Year:
• 1987