The Quantifier Alternation Hierarchy of Synchronous Relations.

Diego Figueira, Varun Ramanathan, Pascal Weil

Browse the full MFCS paper archive.