@article {171070,
	title = {Satisfiability in intuitionistic fuzzy logic with realistic tautology},
	journal = {Kuwait Journal of Science},
	volume = {45},
	year = {2018},
	pages = {15-21},
	author = {Muhammad A. M. Rushdi and Ali M. A. Rushdi and Mohamed Zarouan and Waleed Ahmad}
}
