Neil Immerman DSPACE[n<sup>k</sup>] = VAR[k+1]. 334-340 1991 conf/coco/1991 Structure in Complexity Theory Conference db/conf/coco/coco91.html#Immerman91 http://dx.doi.org/10.1109/SCT.1991.160278