Gulčíkováand Lengál. Register Set Automata (technical Report). 2 Aug. 2022.