Dot-depth, monadic quantifier alternation, and first-order closure over grids and pictures

Oliver Matz. Dot-depth, monadic quantifier alternation, and first-order closure over grids and pictures. Theoretical Computer Science, 270(1-2):1-70, 2002. [doi]

Abstract

Abstract is missing.