S. Edelkamp, P. Kissmann, and A. Torralba, “BDDs Strike Back (in AI Planning)”, AAAI, vol. 29, no. 1, Mar. 2015.