On the Number of Quantifiers Needed to Define Boolean Functions.

Marco Carmosino, Ronald Fagin, Neil Immerman, Phokion G. Kolaitis, Jonathan Lenchner, Rik Sengupta

Browse the full MFCS paper archive.