TY  - JOUR
AU  - Herbert S. Wilf
AU  - Doron Zeilberger
TI  - An algorithmic proof theory for hypergeometric (ordinary and 
JO  - Inventiones mathematicae
PY  - 1992
SP  - 575
EP  - 634
VL  - 108
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/IM_1992__108_2_144006/
ID  - IM_1992__108_2_144006
ER  -