Sky is not the limit. Tighter rank bounds for elevator automata in Büchi automata complementation
scientific article; zbMATH DE number 7798023
scientific article