Maximal unifiable subsets and minimal non-unifiable subsets

• Authors:

• T Y Chen;J-L Lassez;G S Port

• Affiliations:

• -;-;-

• Venue:
• New Generation Computing
• Year:
• 1986