A resolution method for linguistic truth-valued intuitionistic fuzzy first-order logic. - Xiao, Lin; Meng, Jia; Ding, Shifei; Zou, Li (2016)