Kissmann, Peter, and Jörg Hoffmann. “What’s in It for My BDD? On Causal Graphs and Variable Orders in Planning”. Proceedings of the International Conference on Automated Planning and Scheduling, vol. 23, no. 1, June 2013, pp. 327-31, doi:10.1609/icaps.v23i1.13598.