Doron Zeilberger A fast algorithm for proving terminating hypergeometric identities. 1072-1075 2006 306 Discrete Mathematics 10-11 http://dx.doi.org/10.1016/j.disc.2006.03.026 db/journals/dm/dm306.html#Zeilberger06