Proc. of the first international conference on Rewriting techniques and applications

• Authors:

• Jean-Pierre Jouannaud

• Affiliations:

• CRIN, Nancy, France

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