Proceedings of the 2nd International Conference on Rewriting Techniques and Applications

• Authors:

• Pierre Lescanne

• Affiliations:

• -

• Venue:
• RTA '87 Proceedings of the 2nd International Conference on Rewriting Techniques and Applications
• Year:
• 1987