A two counter machine cannot calculate 2 n (1972)

by R Schroeppel
Venue:A.I. memo 257, Computer Science and Artificial Intelligence Laboratory, MIT