@misc{indiciaede7a3246efac,
  title = {Alignment complete relational Hoare logics for some and all},
  author = {Ramana Nagasamudram and Anindya Banerjee and David A. Naumann},
  year = {2025},
  doi = {10.46298/lmcs-21(4:21)2025},
  url = {https://arxiv.org/abs/2307.10045},
  note = {Source identifier: 2307.10045}
}