Brunet, P; Silva, A; (2019) A kleene theorem for nominal automata. In: 46th International Colloquium on Automata, Languages, and Programming (ICALP 2019). (pp. 107:1-107:13). Dagstuhl Publishing: Patras, Greece. Green open access