@misc{indiciaef8fa1264b2d3,
  title = {Terminal Coalgebras in Countably Many Steps},
  author = {Jiří Adámek and Stefan Milius and Lawrence S. Moss},
  year = {2026},
  url = {https://arxiv.org/abs/2303.11071},
  note = {Source identifier: 2303.11071}
}