Canonical conditional rewrite systems containing extra variables - Avenhaus, Jürgen; Loría-Sáenz, Carlos (Seki-Report, 1993)