The Word Problem for Finitary Automaton Groups. - Maximilian Kotowsky; Jan Philipp Wächter (DCFS, 2023)