@misc{indiciae7cd962680481,
  title = {Making Relational Hoare Logic Alignment Complete},
  author = {Anindya Banerjee and Ramana Nagasamudram and David A. Naumann},
  year = {2023},
  url = {https://arxiv.org/abs/2212.10338},
  note = {Source identifier: 2212.10338}
}