@misc{indiciaef4482e845c17,
  title = {An algebra of alignment for relational verification},
  author = {Timos Antonopoulos and Eric Koskinen and Ton Chanh Le and Ramana Nagasamudram and David A. Naumann and Minh Ngo},
  year = {2023},
  doi = {10.1145/3571213},
  url = {https://arxiv.org/abs/2202.04278},
  note = {Source identifier: 2202.04278}
}