1. ∑11-formulae on finite structures;Ajtai;Ann. Pure Appl. Logic,1983
2. A spectrum hierarchy;Fagin;Z. Math. Logik Grundlag. Math.,1975
3. Parity circuits and the polynomial time hierarchy;Furst;Twenty-second FOCS,1981
4. N. Immerman, Languages which capture complexity classes, Fifteenth STOC, 347–354.