Rabin-Mostowski Index Problem: A Step beyond Deterministic Automata | IEEE Conference Publication | IEEE Xplore