Combination Techniques and Decision Problems for Disunification

• Authors:

• Franz Baader;Klaus U. Schulz

• Affiliations:

• -;-

• Venue:
• RTA '93 Proceedings of the 5th International Conference on Rewriting Techniques and Applications
• Year:
• 1993