"The μ-calculus alternation hierarchy collapses over structures with ..."

Julian Gutierrez, Felix Klaedtke, Martin Lange (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics