TY  - RPRT
TI  - Algorithmic decidability of Engel's property for automaton groups
AU  - Laurent Bartholdi
PY  - 2015
DO  - 10.1007/978-3-319-34171-2_3
UR  - https://arxiv.org/abs/1512.01717
ID  - 1512.01717
ER  -