Number of Quantifiers is Better Than Number of Tape Cells

Neil Immerman. Number of Quantifiers is Better Than Number of Tape Cells. J. Comput. Syst. Sci., 22(3):384-406, 1981.

Abstract

Abstract is missing.