The F5 criterion revised

Alberto Arri. The F5 criterion revised. ACM Comm. Computer Algebra, 42(3):169-170, 2008. [doi]

Abstract

Abstract is missing.