Two-variable first order logic with modular predicates over words.

Luc Dartois, Charles Paperman

Browse the full STACS paper archive.