@misc{indiciae01e688e11235,
  title = {The finiteness of a group generated by a 2-letter invertible-reversible Mealy automaton is decidable},
  author = {Ines Klimann},
  year = {2013},
  doi = {10.4230/lipics.stacs.2013.502},
  url = {https://arxiv.org/abs/1208.6324},
  note = {Source identifier: 1208.6324}
}