@misc{indiciae948d07d4606f,
  title = {View-Based Axiomatic Reasoning for PSO (Extended Version)},
  author = {Lara Bargmann and Heike Wehrheim},
  year = {2023},
  url = {https://arxiv.org/abs/2301.07967},
  note = {Source identifier: 2301.07967}
}