Conditional rewriting modulo a built-in algebra - Avenhaus, Jürgen; Becker, Klaus (Univ. Kaiserslautern, Fachbereich Informatik, 1992)