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

Anuj Dawar (2007)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics