Etienne Grandjean Universal quantifiers and time complexity of random access machines. 366-379 1983 conf/lam/1983 Logic and Machines db/conf/lam/lam1983.html#Grandjean83 http://dx.doi.org/10.1007/3-540-13331-3_52