Oscar H. Ibarra Tao Jiang Nicholas Q. Trân Hui Wang New Decidability Results Concerning Two-Way Counter Machines. 123-137 1995 24 SIAM J. Comput. 1 db/journals/siamcomp/siamcomp24.html#IbarraJTW95