Rushdi, Ali Muhammad, Muhammad Ali Rushdi, Mohamed Zarouan, and Waleed Ahmad. 2018. “Satisfiability in Intuitionistic Fuzzy Logic With Realistic Tautology”. Kuwait Journal of Science 45 (2). https://journals.ku.edu.kw/kjs/index.php/KJS/article/view/3312.