"The Ultimate Undecidability Result for the Halpern-Shoham Logic."

Jerzy Marcinkowski, Jakub Michaliszyn (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics