D. Speck, F. Geißer, and R. Mattmüller, “Symbolic Planning with Edge-Valued Multi-Valued Decision Diagrams”, ICAPS, vol. 28, no. 1, pp. 250-258, Jun. 2018.