Dongol, B.; Derrick, J.; Hayes, I. Fractional Permissions and Non-Deterministic Evaluators in Interval Temporal Logic. eceasst 2013, 53.