@misc{indiciaea632a92c5cbd,
  title = {Historia: Refuting Callback Reachability with Message-History Logics (Extended Version)},
  author = {Shawn Meier and Sergio Mover and Gowtham Kaki and Bor-Yuh Evan Chang},
  year = {2023},
  doi = {10.1145/3622865},
  url = {https://arxiv.org/abs/2309.04464},
  note = {Source identifier: 2309.04464}
}