Deciding the First Levels of the Modal mu Alternation Hierarchy by Formula Construction.

Karoliina Lehtinen, Sandra Quickert

Browse the full CSL paper archive.