KLEENE THEOREM FOR HIGHER-DIMENSIONAL AUTOMATA. - FAHRENBERG, ULI; JOHANSEN, CHRISTIAN; STRUTH, GEORG; ZIEMIÁNSKI, KRZYSZTOF (Logical Methods in Computer Science (LMCS), 2024)