"The Power of Counting Logics on Restricted Classes of Finite Structures."

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