Jixin Ma, Brian Knight. Reified Temporal Logics: An Overview. Artif. Intell. Rev., 15(3):189-217, 2001.
@article{MaK01:0, title = {Reified Temporal Logics: An Overview}, author = {Jixin Ma and Brian Knight}, year = {2001}, tags = {logic}, researchr = {https://researchr.org/publication/MaK01%3A0}, cites = {0}, citedby = {0}, journal = {Artif. Intell. Rev.}, volume = {15}, number = {3}, pages = {189-217}, }