Lu, K., Yaqub, E., Yahyapour, R., & Kotsokalis, C. (2012). Structural Optimization of Reduced Ordered Binary Decision Diagrams for SLA Negotiation in IaaS of Cloud Computing. Springer.