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