A. Riese, “A Generalization of Gosper’s Algorithm to Bibasic Hypergeometric Summation”, Electron. J. Combin., vol. 3, no. 1, p. R19, Jun. 1996.