Reductive conditional term rewriting systems. - Jean-Pierre Jouannaud; B. Waldmann (Formal Description of Programming Concepts, 1987)