@misc{indiciae724e518f1f59,
  title = {Notes on Equivalence and Minimization of Weighted Automata},
  author = {Stefan Kiefer},
  year = {2020},
  url = {https://arxiv.org/abs/2009.01217},
  note = {Source identifier: 2009.01217}
}