Conditional and Typed Rewriting Systems , 1990
Conditional and typed rewriting systems. 2nd intenational CTRS workshop, Montréal, Canada, June 11-14, 1990, Proceedings. - Springer Verlag, 1991. - (Lecture Notes in Computer Science; 516).