@misc{indiciae01a3004b9670,
  title = {Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning (Extended Version)},
  author = {Cormac Flanagan and Stephen N. Freund},
  year = {2026},
  url = {https://arxiv.org/abs/2407.08070},
  note = {Source identifier: 2407.08070}
}