Kauers, M.2022-03-022022-03-0220051-595-93191-0https://publica.fraunhofer.de/handle/publica/142532ISSAC 2005, International Symposium on Symbolic and Algebraic Computation. Proceedings. CD-ROM