Rushdi, A.M., Rushdi, M.A., Zarouan, M. and Ahmad, W. 2018. Satisfiability in intuitionistic fuzzy logic with realistic tautology. Kuwait Journal of Science. 45, 2 (May 2018).