author = {G. E. Andrews and P. Paule},
title = {{Some Questions Concerning Computer-Generated Proofs of a Binomial Double-Sum Identity}},
language = {english},
journal = {J. Symbolic Comput.},
volume = {16},
pages = {147--153},
isbn_issn = {ISSN 0747-7171},
year = {1993},
refereed = {yes},
length = {7}