What's Decidable about Halpern and Shoham's Interval Logic? The Maximal Fragment ABBL.

Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco

Browse the full LICS paper archive.