B and D Are Enough to Make the Halpern-Shoham Logic Undecidable.

Jerzy Marcinkowski, Jakub Michaliszyn, Emanuel Kieronski

Browse the full ICALP paper archive.