%0 Journal Article
%A Herbert S. Wilf
%A Doron Zeilberger
%T An algorithmic proof theory for hypergeometric (ordinary and 
%J Inventiones mathematicae
%D 1992
%P 575-634
%V 108
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IM_1992__108_2_144006/
%F IM_1992__108_2_144006