Wolfram Koepf Algorithms for m-Fold Hypergeometric Summation. 399-417 1995 20 J. Symb. Comput. 4 db/journals/jsc/jsc20.html#Koepf95