@misc{indiciaec90c15d40632,
  title = {Three Subtyping Algorithms for Binary Session Types and their Complexity Analyses},
  author = {Thien Udomsrirungruang and Nobuko Yoshida},
  year = {2024},
  doi = {10.4204/eptcs.401.5},
  url = {https://arxiv.org/abs/2404.05480},
  note = {Source identifier: 2404.05480}
}