Conditional and Typed Rewriting Systems 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990. Proceedings Kaplan Stephane Heftet / 1991 / Engelsk
Conditional Term Rewriting Systems 1st International Workshop Orsay, France, July 8-10, 1987. Proceedings Kaplan Stephane Heftet / 1988 / Engelsk
