What's Decidable about Halpern and Shoham's Interval Logic? The Maximal Fragment ABBL | Publicación