Manuel Kauers. Computer proofs for polynomial identities in arbitrary many variables. In Jaime Gutierrez, editor, Symbolic and Algebraic Computation, International Symposium ISSAC 2004, Santander, Spain, July 4-7, 2004, Proceedings. pages 199-204, ACM, 2004. [doi]
Abstract is missing.