1. On the finiteness problem for automaton (semi)groups;Akhavi;Internat. J. Algebra Comput.,2012
2. Finite automata and the Burnside problem for periodic groups;Alešin;Akad. Nauk SSSR Mat. Zametki,1972
3. Algorithmic Decidability of Engel's Property for Automaton Groups;Bartholdi,2016