Rabin-Mostowski Index Problem: A Step beyond Deterministic Automata.

Alessandro Facchini, Filip Murlak, Michal Skrzypczak

Browse the full LICS paper archive.