@misc{indiciaea32bacbacba7,
  title = {A note on Finiteness and Boundedness in Cartesian Products of Discrete and Well-Ordered Sets, Application to Transition Systems},
  author = {Gerard Memmi},
  year = {2026},
  url = {https://arxiv.org/abs/2610.16764},
  note = {Source identifier: 2610.16764}
}