@article(Alexeev,
 author       = {B. Alexeev},
 year         = {2004},
 title        = {Minimal DFA for Testing Divisibility},
 journal      = {Journal of Computer and System Sciences},
 volume       = {69},
 number       = {2},
 pages        = {235–243},
 doi          = {10.1016/j.jcss.2004.02.001},
)
@inproceedings(ChaseSTOC,
 author       = {Z. Chase},
 year         = {2021},
 title        = {Separating Words and Trace Reconstruction},
 booktitle    = {Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing (STOC)},
 pages        = {21--31},
 doi          = {10.1145/3406325.3451118},
)
@inproceedings(Demaine,
 author       = {E. D. Demaine and S. Eisenstat and J. Shallit and D. A. Wilson},
 year         = {2011},
 title        = {Remarks on Separating Words},
 editor       = {M. Holzer and M. Kutrib and G. Pighizzini},
 booktitle    = {Proceedings of the 13th International Workshop on Descriptional Complexity of Formal Systems (DCFS)},
 series       = {Lecture Notes in Computer Science},
 volume       = {6808},
 publisher    = {Springer},
 address      = {Berlin, Heidelberg},
 pages        = {147--157},
 doi          = {10.1007/978-3-642-22600-7},
)
@inproceedings(GK,
 author       = {Goral\v{c}\'ik, P. and V. Koubek},
 year         = {1986},
 title        = {On Discerning Words by Automata},
 editor       = {L. Kott},
 booktitle    = {Proceedings of the 13th International Colloquium on Automata, Languages and Programming (ICALP)},
 series       = {Lecture Notes in Computer Science},
 volume       = {226},
 publisher    = {Springer},
 address      = {Berlin, Heidelberg},
 pages        = {116--122},
 doi          = {10.1007/3-540-16761-7_61},
)
@book(niven,
 author       = {I. Niven and H. S. Zuckerman and H. L. Montgomery},
 year         = {1991},
 title        = {An Introduction to the Theory of Numbers},
 publisher    = {Wiley},
)
@article(R,
 author       = {J. M. Robson},
 year         = {1989},
 title        = {Separating strings with small automata},
 journal      = {Information Processing Letters},
 volume       = {30},
 number       = {4},
 pages        = {209--214},
 doi          = {10.1016/0020-0190(89)90215-9},
)
@article(RosserSchoenfeld,
 author       = {J. B. Rosser and L. Schoenfeld},
 year         = {1962},
 title        = {{Approximate formulas for some functions of prime numbers}},
 journal      = {Illinois Journal of Mathematics},
 volume       = {6},
 number       = {1},
 pages        = {64--94},
 doi          = {10.1215/ijm/1255631807},
)
@article(Sutner,
 author       = {K. Sutner},
 year         = {2009},
 title        = {Divisibility and State Complexity},
 journal      = {The Mathematica Journal},
 volume       = {11},
 number       = {3},
 pages        = {430--445},
 doi          = {10.3888/tmj.11.3-8},
)
@inproceedings(tranCIAA22,
 author       = {N. Tran},
 year         = {2022},
 title        = {Variations of the Separating Words Problem},
 editor       = {P. Caron and L. Mignot},
 booktitle    = {Proceedings of the 26th International Conference on Implementation and Application of Automata (CIAA)},
 series       = {Lecture Notes in Computer Science},
 volume       = {13266},
 publisher    = {Springer},
 address      = {Berlin, Heidelberg},
 pages        = {165--176},
 doi          = {10.1007/978-3-031-07469-1_13},
)
@article(Vyalyi2014,
 author       = {M. N. Vyalyi and R. A. Gimadeev},
 year         = {2014},
 title        = {Separating words by occurrences of subwords},
 journal      = {Journal of Applied and Industrial Mathematics},
 volume       = {8},
 number       = {2},
 pages        = {293--299},
 doi          = {10.1134/S1990478914020161},
)