Oscar H. Ibarra, Tao Jiang, Nicholas Q. Trân, Hui Wang. New Decidability Results Concerning Two-way Counter Machines and Applications. In Andrzej Lingas, Rolf G. Karlsson, Svante Carlsson, editors, Automata, Languages and Programming, 20nd International Colloquium, ICALP93, Lund, Sweden, July 5-9, 1993, Proceedings. Volume 700 of Lecture Notes in Computer Science, pages 313-324, Springer, 1993.
Abstract is missing.