@techreport{RISC1571,author = {Peter Paule and Markus Schorn},
title = {{A Mathematica Version of Zeilberger's Algorithm for Proving Binomial Coefficient Identities}},
language = {english},
number = {95-10},
year = {1995},
note = {Published in Journal of Symbolic Computation.},
sponsor = { \vskip0.2truecm \par\noindent Updated Version of RISC report no. 93-36},
length = {25},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}