"Fast(er) Reasoning in Interval Temporal Logic."

Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco (2017)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics