Angelo Montanari, Ian Pratt-Hartmann, Pietro Sala. Decidability of the Logics of the Reflexive Sub-interval and Super-interval Relations over Finite Linear Orders. In Nicolas Markey, Jef Wijsen, editors, TIME 2010 - 17th International Symposium on Temporal Representation and Reasoning, Paris, France, 6-8 September 2010. pages 27-34, IEEE Computer Society, 2010. [doi]
Abstract is missing.