Fast(er) Reasoning in Interval Temporal Logic.

Davide Bresolin, Emilio Muoz-Velasco, Guido Sciavicco

Browse the full CSL paper archive.