@article{Prasad_Sistla_1987,
    doi = {10.1016/0304-3975(87)90008-9},
    url = {https://doi.org/10.1016%2F0304-3975%2887%2990008-9},
    year = {1987},
    publisher = {Elsevier {BV}},
    volume = {49},
    number = {2-3},
    pages = {217--237},
    author = {A. Prasad Sistla and Moshe Y. Vardi and Pierre Wolper},
    title = {The complementation problem for Büchi automata with applications to temporal logic},
    journal = {Theoretical Computer Science}
}

@article{Prasad_Sistla_1987, doi = {10.1016/0304-3975(87)90008-9}, url = {https://doi.org/10.1016%2F0304-3975%2887%2990008-9}, year = {1987}, publisher = {Elsevier {BV}}, volume = {49}, number = {2-3}, pages = {217--237}, author = {A. Prasad Sistla and Moshe Y. Vardi and Pierre Wolper}, title = {The complementation problem for Büchi automata with applications to temporal logic}, journal = {Theoretical Computer Science} }