Decidability of the Interval Temporal Logic $\mathsf{A\bar{A}B\bar{B}}$ over the Rationals.

Angelo Montanari, Gabriele Puppis, Pietro Sala

Browse the full MFCS paper archive.