@misc{indiciaea1b9c4784257,
  title = {Inferring Region Types via an Abstract Notion of Environment Transformation},
  author = {Ulrich Schöpp and Chuangjie Xu},
  year = {2022},
  url = {https://arxiv.org/abs/2209.02147},
  note = {Source identifier: 2209.02147}
}