FO-Complete Program Verification for Heap Logics. - Adithya Murali; Hrishikesh Balakrishnan; Aaron Councilman; P. Madhusudan (Proc. ACM Program. Lang., 2025)