Mediating for reduction (on minimizing alternating Büchi automata)
scientific article; zbMATH DE number 6342267