RHLE: Modular Deductive Verification of Relational ∀ ∃ Properties. - Robert Dickerson; Qianchuan Ye; Michael K. Zhang; Benjamin Delaware (APLAS, 2022)