Categorical Büchi and parity conditions via alternating fixed points of functors
scientific article; zbMATH DE number 6962939