Jixin Ma, Brian Knight. A Reified Temporal Logic. Comput. J., 39(9):800-807, 1996.
@article{MaK96, title = {A Reified Temporal Logic}, author = {Jixin Ma and Brian Knight}, year = {1996}, tags = {logic}, researchr = {https://researchr.org/publication/MaK96}, cites = {0}, citedby = {0}, journal = {Comput. J.}, volume = {39}, number = {9}, pages = {800-807}, }