George E. Andrews, Peter Paule,
"Some Questions Concerning Computer-Generated Proofs of a Binomial Double-Sum Identity"
, in Journal of Symbolic Computation, Vol. 16, Seite(n) 147-153, 1993, ISSN: 1095-855X
Original Titel:
Some Questions Concerning Computer-Generated Proofs of a Binomial Double-Sum Identity