@misc{indiciae00818e310121,
  title = {Polynomial time algorithms for inclusion and equivalence of deterministic omega acceptors},
  author = {Dana Angluin and Dana Fisman},
  year = {2020},
  url = {https://arxiv.org/abs/2002.03191},
  note = {Source identifier: 2002.03191}
}