Johann A. Makowsky Capturing Complexity Classes with Lindström Quantifiers. 68-71 1994 conf/mfcs/1994 MFCS db/conf/mfcs/mfcs94.html#Makowsky94 http://dx.doi.org/10.1007/3-540-58338-6_59