Franz Winkler. Canonical Reduction Systems in Symbolic Mathematics. In Symeon Bozapalidis, George Rahonis, editors, Algebraic Informatics, Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings. Volume 5725 of Lecture Notes in Computer Science, pages 123-135, Springer, 2009. [doi]
Abstract is missing.