@inproceedings{KLS21,
  author    = {O. Kupferman and N. Lavee and S. Sickert},
  title     = {Certifying DFA Bounds for Recognition and Separation},
  booktitle = {Automated Technology for Verification and Analysis - 19th International Symposium},
  series    = {Lecture Notes in Computer Science},
  volume    = {12971},
  pages     = {48-64},
  publisher = {Springer},
  year      = {2021}
  }