TY - RPRT TI - The Algorithmic Behaviour of the F5 Algorithm AU - Christian Eder PY - 2010 UR - https://arxiv.org/abs/0810.5335 ID - 0810.5335 ER -