@misc{indiciae8d23ee54461d,
  title = {Sorting Finite Automata via Partition Refinement},
  author = {Ruben Becker and Manuel Cáceres and Davide Cenzato and Sung-Hwan Kim and Bojana Kodric and Francisco Olivares and Nicola Prezza},
  year = {2023},
  url = {https://arxiv.org/abs/2305.05129},
  note = {Source identifier: 2305.05129}
}