El-Sayed, Amira, and Ahmed Ali. “Formalizing Interval Dependency: A Logical Framework for Quantifiable Uncertainties”. Journal of Computer Engineering, vol. 15, no. 3, Mar. 2026, https://journalofcomputerengineering.com/index.php/jce/article/view/1996.