TY  - RPRT
TI  - Supported Sets -- A New Foundation For Nominal Sets And Automata
AU  - Thorsten Wißmann
PY  - 2022
UR  - https://arxiv.org/abs/2201.09825
ID  - 2201.09825
ER  -