Manuel Kauers Symbolic and Algebraic Computation, International Symposium ISSAC 2005, Beijing, China, July 24-27, 2005, Proceedings ISSAC ACM 2005 1-59593-095-7 db/conf/issac/issac2005.html