author = {P. Paule and M. Schorn},
title = {{A Mathematica Version of Zeilberger's Algorithm for Proving Binomial Coefficient Identities}},
language = {english},
journal = {J. Symbolic Comput.},
volume = {20},
pages = {673--698},
isbn_issn = {ISSN 0747-7171},
year = {1995},
refereed = {yes},
length = {26}