@misc{indiciae0c446144459e,
  title = {Certifying DFA Bounds for Recognition and Separation},
  author = {Orna Kupferman and Nir Lavee and Salomon Sickert},
  year = {2021},
  doi = {10.1007/978-3-030-88885-5\_4},
  url = {https://arxiv.org/abs/2107.01566},
  note = {Source identifier: 2107.01566}
}