Peter Paule Markus Schorn A Mathematica Version of Zeilberger's Algorithm for Proving Binomial Coefficient Identities. 673-698 1995 20 J. Symb. Comput. 5/6 db/journals/jsc/jsc20.html#PauleS95