Philipp Weis Neil Immerman Structure Theorem and Strict Alternation Hierarchy for FO^2 on Words http://arxiv.org/abs/0907.0616 2009 Logical Methods in Computer Science 5 db/journals/lmcs/lmcs5.html#abs-0907-0616 3