International Workshop on Conditional (and Typed) Rewriting Systems (4th 1994 Jerusalem) — Author | Lex | Lex