George E. Andrews Peter Paule Some Questions Concerning Computer-Generated Proofs of a Binomial Double- Sum Identy. 147-153 1993 16 J. Symb. Comput. 2 db/journals/jsc/jsc16.html#AndrewsP93