TY  - RPRT
TI  - Strictifying and taming directed paths in Higher Dimensional Automata
AU  - Martin Raussen
PY  - 2021
DO  - 10.1017/s0960129521000128
UR  - https://arxiv.org/abs/2006.05797
ID  - 2006.05797
ER  -