TY  - RPRT
TI  - Taking Complete Finite Prefixes To High Level, Symbolically
AU  - Nick Würdemann
AU  - Thomas Chatain
AU  - Stefan Haar
AU  - Lukas Panneke
PY  - 2024
DO  - 10.46298/fi.12578
UR  - https://arxiv.org/abs/2311.11443
ID  - 2311.11443
ER  -