%0 Journal Article %1 journals/jsc/ArriP11 %A Arri, Alberto %A Perry, John %D 2011 %J J. Symb. Comput. %K dblp %N 9 %P 1017-1029 %T The F5 criterion revised. %U http://dblp.uni-trier.de/db/journals/jsc/jsc46.html#ArriP11 %V 46

@article{journals/jsc/ArriP11, added-at = {2021-02-17T00:00:00.000+0100}, author = {Arri, Alberto and Perry, John}, biburl = {https://www.bibsonomy.org/bibtex/2abab60be4ac5fd1967d02109dfce3eec/dblp}, ee = {https://doi.org/10.1016/j.jsc.2011.05.004}, interhash = {93acfb474e665c7c4068ca1ee7c1bdb1}, intrahash = {abab60be4ac5fd1967d02109dfce3eec}, journal = {J. Symb. Comput.}, keywords = {dblp}, number = 9, pages = {1017-1029}, timestamp = {2024-04-09T05:33:02.000+0200}, title = {The F5 criterion revised.}, url = {http://dblp.uni-trier.de/db/journals/jsc/jsc46.html#ArriP11}, volume = 46, year = 2011 }