New Decidability Results Concerning Two-Way Counter Machines

@article{Ibarra1995NewDR,
  title={New Decidability Results Concerning Two-Way Counter Machines},
  author={Oscar H. Ibarra and Tao Jiang and Nicholas Q. Tr{\^a}n and Hui Wang},
  journal={SIAM J. Comput.},
  year={1995},
  volume={24},
  pages={123-137}
}