Paper accepted at TACAS'23

We are glad that our paper about modular mix-and-match complementation of Büchi automata has been accepted at TACAS’23.