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