Krebsand Straubing. An Effective Characterization of the Alternation Hierarchy in Two-variable Logic. 22 May 2012.