A classification of many-sorted unification problems

• Authors:

• C Walther

• Affiliations:

• -

• Venue:
• Proc. of the 8th international conference on Automated deduction
• Year:
• 1986