@misc{indiciae8384865815f2,
  title = {RHLE: Modular Deductive Verification of Relational \$\textbackslash{}forall\textbackslash{}exists\$ Properties},
  author = {Robert Dickerson and Qianchuan Ye and Michael K. Zhang and Benjamin Delaware},
  year = {2022},
  url = {https://arxiv.org/abs/2002.02904},
  note = {Source identifier: 2002.02904}
}