Li Zou Jinglong Li Kaijun Xu Yang Xu A Kind of Resolution Method of Linguistic Truth-Valued Propositional Logic Based on LIA. 32-36 2007 FSKD (1) http://dx.doi.org/10.1109/FSKD.2007.52 conf/fskd/2007-1 db/conf/fskd/fskd2007-1.html#ZouLXX07