@misc{indiciae719557e8d81a,
  title = {Unrealizability Logic},
  author = {Jinwoo Kim and Loris D'Antoni and Thomas Reps},
  year = {2025},
  doi = {10.1145/3571216},
  url = {https://arxiv.org/abs/2211.07117},
  note = {Source identifier: 2211.07117}
}