@misc{indiciaecfab572fea99,
  title = {Decidability of irreducible tree shifts of finite type},
  author = {Jung-Chao Ban and Chih-Hung Chang and Nai-Zhu Huang and Yu-Liang Wu},
  year = {2019},
  doi = {10.1007/s10955-019-02407-z},
  url = {https://arxiv.org/abs/1910.13846},
  note = {Source identifier: 1910.13846}
}