Two-Way Counter Machines and Diophantine Equations

Two-Way Counter Machines and Diophantine Equations Eitan M. Gurari Oscar H. Ibarra 45-52 conf/focs/FOCS22 1981 FOCS db/conf/focs/focs81.html#GurariI81