Stéphane Kaplan Mitsuhiro Okada Conditional and Typed Rewriting Systems, 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990, Proceedings CTRS Lecture Notes in Computer Science 516 Springer 1991 3-540-54317-1 db/conf/ctrs/ctrs90.html