Speck, D.; Geißer, F.; Mattmüller, R. Symbolic Planning With Edge-Valued Multi-Valued Decision Diagrams. ICAPS 2018, 28, 250-258.