Rushdi, A. M., M. A. Rushdi, M. Zarouan, and W. Ahmad. “Satisfiability in Intuitionistic Fuzzy Logic With Realistic Tautology”. Kuwait Journal of Science, vol. 45, no. 2, May 2018, https://journals.ku.edu.kw/kjs/index.php/KJS/article/view/3312.