H. Fargier, P. Marquis, A. Niveau, and N. Schmidt, “A Knowledge Compilation Map for Ordered Real-Valued Decision Diagrams”, AAAI, vol. 28, no. 1, Jun. 2014.