Structure Theorem and Strict Alternation Hierarchy for FO

Philipp Weis, Neil Immerman

Browse the full CSL paper archive.