Reduktionssysteme Rechnen und Schließen in gleichungsdefinierten Strukturen - Avenhaus, Jürgen (Springer-Lehrbuch, 1995)