@article{article, title  = {{Kleene Theorem for Higher-Dimensional Automata}},

 publisher = {{Centre pour la Communication Scientifique Directe (CCSD)}},

 url = {{https://doi.org/10.46298/lmcs-20(4:22)2024 }},

 year = {{2024}},

 month = {{12}},

 author = {{Fahrenberg U and Johansen C and Struth G and Ziemiański K}},

 doi = {{10.46298/lmcs-20(4:22)2024}},

 volume = {{Volume 20, Issue 4}},

 journal = {{Logical Methods in Computer Science}},

 note = {{Accessed on 2025/02/05}}}