TY  - RPRT
TI  - The Effects of Adding Reachability Predicates in Quantifier-Free Separation Logic
AU  - Stéphane Demri
AU  - Etienne Lozes
AU  - Alessio Mansutti
PY  - 2021
UR  - https://arxiv.org/abs/1810.05410
ID  - 1810.05410
ER  -