G.: The dark side of Interval Temporal Logic: sharpening the undecidability border (2011)

by D Bresolin, Della Monica, D Goranko, V Montanari, A Sciavicco
Venue:In: Proc. of the 18th Int. Symposium on Temporal Representation and Reasoning (TIME