TY  - RPRT
TI  - A New Proof for the Correctness of F5 (F5-Like) Algorithm
AU  - Yao Sun
AU  - Dingkang Wang
PY  - 2010
UR  - https://arxiv.org/abs/1004.0084
ID  - 1004.0084
ER  -