What's Decidable about Halpern and Shoham's Interval Logic? The Maximal Fragment ABBL | IEEE Conference Publication | IEEE Xplore