@misc{indiciae48d7acad51bf,
  title = {A Lattice-Theoretical View of Strategy Iteration},
  author = {Paolo Baldan and Richard Eggert and Barbara König and Tommaso Padoan},
  year = {2022},
  url = {https://arxiv.org/abs/2207.09872},
  note = {Source identifier: 2207.09872}
}