Model-Checking First-Order Logic: Automata and Locality.

Anuj Dawar

Browse the full CSL paper archive.