Cire, A., and W.- jan van Hoeve. “MDD Propagation for Disjunctive Scheduling”. Proceedings of the International Conference on Automated Planning and Scheduling, vol. 22, no. 1, May 2012, pp. 11-19, doi:10.1609/icaps.v22i1.13521.