TY  - RPRT
TI  - Succinctness in subsystems of the spatial mu-calculus
AU  - David Fernández-Duque
AU  - Petar Iliev
PY  - 2017
UR  - https://arxiv.org/abs/1708.03770
ID  - 1708.03770
ER  -