Alberto Arri, John Perry 0001. Corrigendum to "The F5 criterion revised" [J. Symb. Comput. 46 (2) (2011) 1017-1029]. Journal of Symbolic Computation, 82:164-165, 2017. [doi]
@article{ArriP17,
title = {Corrigendum to "The F5 criterion revised" [J. Symb. Comput. 46 (2) (2011) 1017-1029]},
author = {Alberto Arri and John Perry 0001},
year = {2017},
doi = {10.1016/j.jsc.2016.12.002},
url = {http://dx.doi.org/10.1016/j.jsc.2016.12.002},
researchr = {https://researchr.org/publication/ArriP17},
cites = {0},
citedby = {0},
journal = {Journal of Symbolic Computation},
volume = {82},
pages = {164-165},
}