Kofola 1.0: A Modular Approach to ω-Regular Complementation and Inclusion Checking (Technical Report). - Ondrej Alexaj; Vojtech Havlena; Lukás Holík; Ondrej Lengál; Yong Li 031; Nicolas Mazzocchi (CoRR, 2026)