Rushdi, A. M.; Rushdi, M. A.; Zarouan, M.; Ahmad, W. Satisfiability in Intuitionistic Fuzzy Logic With Realistic Tautology. KJS 2018, 45.