TY  - RPRT
TI  - Separating the Wheat from the Chaff: Understanding (In-)Completeness of Proof Mechanisms for Separation Logic with Inductive Definitions
AU  - Neta Elad
AU  - Adithya Murali
AU  - Sharon Shoham
PY  - 2025
DO  - 10.1145/3776671
UR  - https://arxiv.org/abs/2511.20193
ID  - 2511.20193
ER  -