Ben C. Moszkowski. Using Temporal Logic to Analyse Temporal Logic: A Hierarchical Approach Based on Intervals. Journal of Logic and Computation, 17(2):333-409, 2007. [doi]
@article{Moszkowski07, title = {Using Temporal Logic to Analyse Temporal Logic: A Hierarchical Approach Based on Intervals}, author = {Ben C. Moszkowski}, year = {2007}, doi = {10.1093/logcom/exm006}, url = {http://dx.doi.org/10.1093/logcom/exm006}, tags = {rule-based, C++, logic, systematic-approach}, researchr = {https://researchr.org/publication/Moszkowski07}, cites = {0}, citedby = {0}, journal = {Journal of Logic and Computation}, volume = {17}, number = {2}, pages = {333-409}, }