%0 Journal Article %1 journals/jsc/ArriP17 %A Arri, Alberto %A Perry, John %D 2017 %J J. Symb. Comput. %K dblp %P 164-165 %T Corrigendum to "The F5 criterion revised" J. Symb. Comput. 46 (2) (2011) 1017-1029. %U http://dblp.uni-trier.de/db/journals/jsc/jsc82.html#ArriP17 %V 82

@article{journals/jsc/ArriP17, added-at = {2017-03-16T00:00:00.000+0100}, author = {Arri, Alberto and Perry, John}, biburl = {https://www.bibsonomy.org/bibtex/2920deb2fa8bf8169459bdafee830c9cc/dblp}, ee = {http://dx.doi.org/10.1016/j.jsc.2016.12.002}, interhash = {24a6fba13d5c328d8f26ec72a63df800}, intrahash = {920deb2fa8bf8169459bdafee830c9cc}, journal = {J. Symb. Comput.}, keywords = {dblp}, pages = {164-165}, timestamp = {2017-03-17T11:35:05.000+0100}, title = {Corrigendum to "The F5 criterion revised" [J. Symb. Comput. 46 (2) (2011) 1017-1029].}, url = {http://dblp.uni-trier.de/db/journals/jsc/jsc82.html#ArriP17}, volume = 82, year = 2017 }