TY  - RPRT
TI  - The geometry of cubical and regular transition systems
AU  - Philippe Gaucher
PY  - 2015
UR  - https://arxiv.org/abs/1405.5184
ID  - 1405.5184
ER  -