One Quantifier Will Do in Existential Monadic Second-Order Logic over Pictures.

Oliver Matz

Browse the full MFCS paper archive.