Y. S. Ramakrishna, P. M. Melliar-Smith, Louise E. Moser, Laura K. Dillon, G. Kutty. Interval Logics and Their Decision Procedures, Part I: An Interval Logic. Theoretical Computer Science, 166(1&2):1-47, 1996. [doi]
@article{RamakrishnaMMDK96, title = {Interval Logics and Their Decision Procedures, Part I: An Interval Logic}, author = {Y. S. Ramakrishna and P. M. Melliar-Smith and Louise E. Moser and Laura K. Dillon and G. Kutty}, year = {1996}, doi = {10.1016/0304-3975(95)00254-5}, url = {http://dx.doi.org/10.1016/0304-3975(95)00254-5}, tags = {e-science, logic}, researchr = {https://researchr.org/publication/RamakrishnaMMDK96}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {166}, number = {1&2}, pages = {1-47}, }