@article{wilf:1992:apt,
    author = {Wilf, Herbert S. and Zeilberger, Doron},
     title = {An algorithmic proof theory for hypergeometric (ordinary and
              ``{$q$}'') multisum/integral identities},
   journal = {Invent. Math.},
  fjournal = {Inventiones Mathematicae},
    volume = {108},
      year = {1992},
     pages = {575–633},
      issn = {0020-9910},
     coden = {INVMBH},
   mrclass = {33C99 (03B35 05A19 33D99 68Q40)},
  mrnumber = {MR1163239 (93k:33010)},
mrreviewer = {David R. Masson},
       doi = {10.1007/BF02100618},
     zblno = {0739.05007}}