TY  - RPRT
TI  - An Automaton Group with PSPACE-Complete Word Problem
AU  - Jan Philipp Wächter
AU  - Armin Weiß
PY  - 2021
DO  - 10.4230/lipics.stacs.2020.6
UR  - https://arxiv.org/abs/1906.03424
ID  - 1906.03424
ER  -