Conditional and typed rewriting systems : 2nd International CTRS Workshop Montreal, Canada, June 1990 : proceedings - Kaplan, Samuel, 1916-2010; Okada, M. 1954- (Lecture notes in computer science ;, 1991)