Decidability of the Logics of the Reflexive Sub-interval and Super-interval Relations over Finite Linear Orders.

Angelo Montanari, Ian Pratt-Hartmann, Pietro Sala

Browse the full TIME paper archive.