TY  - RPRT
TI  - Unifying Decidable Entailments in Separation Logic with Inductive Definitions
AU  - Mnacho Echenim
AU  - Radu Iosif
AU  - Nicolas Peltier
PY  - 2021
UR  - https://arxiv.org/abs/2012.14361
ID  - 2012.14361
ER  -