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