A. M. Rushdi, M. A. Rushdi, M. Zarouan, and W. Ahmad, “Satisfiability in intuitionistic fuzzy logic with realistic tautology”, KJS, vol. 45, no. 2, May 2018.