@misc{indiciae9277377279e5,
  title = {Choiceless Polynomial Time with Witnessed Symmetric Choice},
  author = {Moritz Lichter and Pascal Schweitzer},
  year = {2023},
  url = {https://arxiv.org/abs/2205.14003},
  note = {Source identifier: 2205.14003}
}