The complementation problem for büchi automata with applications to temporal logic (1987)

by A Prasad Sistla, Moshe Y Vardi, Pierre Wolper
Venue:Theoretical Computer Science