TY  - RPRT
TI  - Reordering Derivatives of Trace Closures of Regular Languages (Full Version)
AU  - Hendrik Maarand
AU  - Tarmo Uustalu
PY  - 2019
UR  - https://arxiv.org/abs/1908.03551
ID  - 1908.03551
ER  -