"Generalized Quantifiers and Pebble Games on Finite Structures"

Phokion G. Kolaitis, Jouko A. Väänänen (1992)
a service of Schloss Dagstuhl - Leibniz Center for Informatics