Decremental Consistency Checking of Temporal Constraints: Algorithms for the Point Algebra and the ORD-Horn Class. - Massimo Bono; Alfonso Emilio Gerevini (CP, 2018)

Path Planning with CPD Heuristics. - Massimo Bono; Alfonso Emilio Gerevini; Daniel Damir Harabor; Peter J. Stuckey (IJCAI, 2019)