@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}
  }



@article{KLS22,
  author    = {O. Kupferman and N. Lavee and S. Sickert},
  title        = {Certifying {DFA} Bounds for Recognition and Separation},
  journal      = {Innovations in systems and software engineering},
  volume       = {18},
  number       = {3},
  pages        = {405--416},
  year         = {2022}
}