Conditional and typed rewriting systems 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990 ; proceedings (Springer, 1991)