Samuel Charron, Emmanuel Paviot-Adet, Didier Buchs, Alban Linard, Fabrice Kordon, "polyDD: Towards a Framework Generalizing Decision Diagrams", 2010 10th International Conference on Application of Concurrency to System Design vol. 00 no. , p. 124-133, , 2005