%0 Journal Article
%A O. N. German
%T Proof of the Faug\`ere Criterion for the F5 Algorithm
%J Matematičeskie zametki
%D 2010
%P 502-510
%V 88
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MZM_2010_88_4_a1/
%G ru
%F MZM_2010_88_4_a1