L. Hunsberger and R. Posenato, “Faster Dynamic-Consistency Checking for Conditional Simple Temporal Networks”, ICAPS, vol. 30, no. 1, pp. 152-160, Jun. 2020.