Automata-Driven Efficient Subterm Unification

• Authors:

• R. Ramesh;I. V. Ramakrishnan;R. C. Sekar

• Affiliations:

• -;-;-

• Venue:
• Proceedings of the 14th Conference on Foundations of Software Technology and Theoretical Computer Science
• Year:
• 1994