1. Gosper R W, Decision procedure for indefinite hypergeometric summation, Proc. Natl. Acad. Sci. USA, 1978, 75(1): 40–42.
2. Zeilberger D, A fast algorithm for proving terminating hypergeometric identities, Discrete Math., 1990, 80(2): 207–211.
3. Zeilberger D, The method of creative telescoping, J. Symbolic Comput., 1991, 11(3): 195–204.
4. Gel’fand I M, Graev M I, and Retakh V S, General hypergeometric systems of equations and series of hypergeometric type, Uspekhi Mat. Nauk (Russian), translation in Russian Math. Surveys, 1992, 47(4): 1–82.
5. Chen S, Huang H, Kauers M, et al., A modified Abramov-Petkovšek reduction and creative telescoping for hypergeometric terms, Proceedings of ISSAC’15, New York, NY, USA, ACM, 2015, 117–124.