Peter Paule Greatest Factorial Factorization and Symbolic Summation. 235-268 1995 20 J. Symb. Comput. 3 db/journals/jsc/jsc20.html#Paule95