TY  - RPRT
TI  - Deciding Separation Logic with Pointer Arithmetic and Inductive Definitions
AU  - Wanyun Su
AU  - Zhilin Wu
AU  - Mihaela Sighireanu
PY  - 2024
UR  - https://arxiv.org/abs/2403.01867
ID  - 2403.01867
ER  -