@misc{indiciae2695cda2c9b9,
  title = {A Session Subtyping Tool (Extended Version)},
  author = {Lorenzo Bacchiani and Mario Bravetti and Julien Lange and Gianluigi Zavattaro},
  year = {2021},
  url = {https://arxiv.org/abs/2104.12455},
  note = {Source identifier: 2104.12455}
}