@article{Clarke_1993,
    doi = {10.1016/0020-0190(93)90069-l},
    url = {https://doi.org/10.1016%2F0020-0190%2893%2990069-l},
    year = {1993},
    month = {jul},
    publisher = {Elsevier {BV}},
    volume = {46},
    number = {6},
    pages = {301--308},
    author = {E.M. Clarke and I.A. Draghicescu and R.P. Kurshan},
    title = {A unified approach for showing language inclusion and equivalence between various types of {$\omega$}-automata},
    journal = {Information Processing Letters}
}

@article{Clarke_1993, doi = {10.1016/0020-0190(93)90069-l}, url = {https://doi.org/10.1016%2F0020-0190%2893%2990069-l}, year = {1993}, month = {jul}, publisher = {Elsevier {BV}}, volume = {46}, number = {6}, pages = {301--308}, author = {E.M. Clarke and I.A. Draghicescu and R.P. Kurshan}, title = {A unified approach for showing language inclusion and equivalence between various types of {$\omega$}-automata}, journal = {Information Processing Letters} }