1. Deciding the consistency of branching time interval networks;Gavanelli,2018
2. The Horn fragment of branching algebra;Bertagnon,2020
3. On maximal, tractable fragments of the branching algebra;Bertagnon,2020
4. Maintaining knowledge about temporal intervals;Allen;Commun. ACM,1983
5. Constraint propagation algorithms for temporal reasoning;Vilain,1986