@misc{indiciaec58fb3d7ca4d,
  title = {Well-Founded Coalgebras Meet König's Lemma},
  author = {Henning Urbat and Thorsten Wißmann},
  year = {2026},
  doi = {10.4230/lipics.csl.2026.24},
  url = {https://arxiv.org/abs/2507.18539},
  note = {Source identifier: 2507.18539}
}