Martin Grohe Generalized Model-Checking Problems for First-Order Logic. 12-26 2001 conf/stacs/2001 STACS http://dx.doi.org/10.1007/3-540-44693-1_2 db/conf/stacs/stacs2001.html#Grohe01