TY  - RPRT
TI  - Modular Labelled Sequent Calculi for Abstract Separation Logics
AU  - Zhé Hóu
AU  - Ranald Clouston
AU  - Rajeev Goré
AU  - Alwen Tiu
PY  - 2018
UR  - https://arxiv.org/abs/1710.10805
ID  - 1710.10805
ER  -