Miklós Ajtai Determinism versus Nondeterminism for Linear Time RAMs with Memory Restrictions. 2-37 2002 65 J. Comput. Syst. Sci. 1 http://dx.doi.org/10.1006/jcss.2002.1821 db/journals/jcss/jcss65.html#Ajtai02