The Half-Levels of the FO Alternation Hierarchy. - Fleischer, Lukas; Kufleitner, Manfred; Lauser, Alexander (Theory of Computing Systems, 2017)