@article {alexeev:2004:dfa, AUTHOR = {Alexeev, Boris}, TITLE = {Minimal {DFA} for testing divisibility}, JOURNAL = {J. Comput. System Sci.}, FJOURNAL = {Journal of Computer and System Sciences}, VOLUME = {69}, YEAR = {2004}, NUMBER = {2}, PAGES = {235--243}, ISSN = {0022-0000}, CODEN = {JCSSBM}, DOI = {10.1016/j.jcss.2004.02.001}, URL = {http://dx.doi.org/10.1016/j.jcss.2004.02.001}, OPTMRCLASS = {68Q45}, OPTMRNUMBER = {MR2077381 (2005f:68065)}, OPTMRREVIEWER = {Fr{\'e}d{\'e}rique Bassino}, OPTACMCLASS = {F.1.1; F.4.3}, OPTCRNUMBER = {CR130797}, OPTCRREVIEWER = {Bruce Litow}, OPTARCHIVEPREFIX = {arXiv:cs}, OPTEPRINT = {0309052}, OPTPRIMARYCLASS = {cs.CC}, }