@misc{indiciae99e1c7c54e83,
  title = {Insignificant Choice Polynomial Time: A Logic Capturing PTIME},
  author = {Klaus-Dieter Schewe},
  year = {2025},
  url = {https://arxiv.org/abs/2005.04598},
  note = {Source identifier: 2005.04598}
}