أرسل هذا في رسالة قصيرة: Conditional and typed rewriting systems : 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990 : proceedings / S. Kaplan, M. Okada (eds.).