Design Strategies for Rewrite Rules

Sergio Antoy. Design Strategies for Rewrite Rules. In Stéphane Kaplan, Mitsuhiro Okada, editors, Conditional and Typed Rewriting Systems, 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990, Proceedings. Volume 516 of Lecture Notes in Computer Science, pages 333-341, Springer, 1990.

Abstract

Abstract is missing.