Alexandre Hamez Steve Hostettler Alban Linard Alexis Marechal Emmanuel Paviot-Adet Matteo Risoldi Specification of Decision Diagram Operations. 437-451 2010 ACSD/Petri Nets Workshops http://ceur-ws.org/Vol-827/33_AlexandreHamez_article.pdf conf/acsd/2010w db/conf/acsd/acsd2010w.html#HamezHLMPR10