A Measured Collapse of the Modal -Calculus Alternation Hierarchy.

Doron Bustan, Orna Kupferman, Moshe Y. Vardi

Browse the full STACS paper archive.