Hunsberger, L., et al.. Reducing Epsilon-dc Checking for Conditional Simple Temporal Networks to DC Checking. Sept. 2018, doi:10.4230/lipics.time.2018.15.