The Monadic Quantifier Alternation Hierarchy over Grids and Pictures

The closure of Monadic NP (extended abstract)

STOC '98 Proceedings of the thirtieth annual ACM symposium on Theory of computing

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

Theoretical Computer Science

The monadic quantifier alternation hierarchy over grids and graphs

Information and Computation - Special issue: LICS'97

Tree-width and the monadic quantifier hierarchy

Theoretical Computer Science - Logic and complexity in computer science

Recognizable vs. regular picture languages

CAI'07 Proceedings of the 2nd international conference on Algebraic informatics