Conditional rewriting modulo a built-in algebra - Avenhaus, Jürgen; Becker, Klaus (Seki-Report, 1992)