Conditional term rewriting systems : 1st international workshop, Orsay, France, July 8-10, 1987 : proceedings - Jouannaud, Jean-Pierre; Kaplan, S. (Stéphane), 1961- (Lecture notes in computer science, 1988)