Subsumption Algorithms Based on Search Trees

• Authors:

• Leo Bachmair;Ta Chen;C. R. Ramakrishnan;I. V. Ramakrishnan

• Affiliations:

• -;-;-;-

• Venue:
• CAAP '96 Proceedings of the 21st International Colloquium on Trees in Algebra and Programming
• Year:
• 1996