@Article{ DAngeliRW2017decidability, author = "Daniele D'Angeli and Emanuele Rodaro and W{\"a}chter, Jan Philipp", title = "Automaton Semigroups and Groups: on the Undecidability of Problems Related to Freeness and Finiteness", journal = "ArXiv e-prints", volume = "abs/1712.07408", note = "To appear in Israel Journal of Mathematics", year = "2017", url = "http://arxiv.org/abs/1712.07408" }