Richiedi una copia del documento: The dark side of Interval Temporal Logics: sharpening the undecidability border

Captcha code
Annulla