Before revision: Example First-order formula with one universal quantification and first-order formula where all existential quantifications appear firsts in the formula has got the fmpLeonid Libkin, Elements of finite model theory, chap 14.
After revision: Example First-order formula with one universal quantification and first-order formula where all existential quantifications appear firsts in the formula has got the fmpLeonid Libkin, Elements of finite model theory, chap