@article{Alur_1993,
    doi = {10.1006/inco.1993.1025},
    url = {https://doi.org/10.1006%2Finco.1993.1025},
    year = {1993},
    month = {may},
    publisher = {Elsevier {BV}},
    volume = {104},
    number = {1},
    pages = {35--77},
    author = {R. Alur and T.A. Henzinger},
    title = {Real-Time Logics: Complexity and Expressiveness},
    journal = {Information and Computation}
}

@article{Alur_1993, doi = {10.1006/inco.1993.1025}, url = {https://doi.org/10.1006%2Finco.1993.1025}, year = {1993}, month = {may}, publisher = {Elsevier {BV}}, volume = {104}, number = {1}, pages = {35--77}, author = {R. Alur and T.A. Henzinger}, title = {Real-Time Logics: Complexity and Expressiveness}, journal = {Information and Computation} }