The F5 criterion revised. - Alberto Arri (ACM Commun. Comput. Algebra, 2008)

The F5 criterion revised. - Alberto Arri; John Perry 001 (J. Symb. Comput., 2011)

Corrigendum to "The F5 criterion revised" [J. Symb. Comput. 46 (2) (2011) 1017-1029]. - Alberto Arri; John Perry 001 (J. Symb. Comput., 2017)