@misc{indiciae2136a3dd7e32,
  title = {Branch-Well-Structured Transition Systems and Extensions},
  author = {Benedikt Bollig and Alain Finkel and Amrita Suresh},
  year = {2024},
  doi = {10.46298/lmcs-20(2:12)2024},
  url = {https://arxiv.org/abs/2211.15913},
  note = {Source identifier: 2211.15913}
}