by International CTRS Workshop (2nd 1990 Montréal, Québec)
"In recent years, extensions of rewriting techniques that go beyond the traditional untyped algebraic rewriting framework have been investigated and developed. Among these extensions, conditional a…