Renwei Li, José Carmo. On Completeness of a Positional Interval Logic with Equality, Overlap and Subinterval Relations. Logic Journal of the IGPL, 3(5):765-790, 1995. [doi]
@article{LiC95:1,
title = {On Completeness of a Positional Interval Logic with Equality, Overlap and Subinterval Relations},
author = {Renwei Li and José Carmo},
year = {1995},
doi = {10.1093/jigpal/3.5.765},
url = {http://dx.doi.org/10.1093/jigpal/3.5.765},
tags = {completeness, logic},
researchr = {https://researchr.org/publication/LiC95%3A1},
cites = {0},
citedby = {0},
journal = {Logic Journal of the IGPL},
volume = {3},
number = {5},
pages = {765-790},
}