Handling function definitions through innermost superposition and rewriting

• Authors:

• Laurent Fribourg

• Affiliations:

• L.I.T.P., Paris, France

• Venue:
• Proc. of the first international conference on Rewriting techniques and applications
• Year:
• 1985