@congreso_internacional{488, author = {Jun Liu and Luis Martínez and Yang Xu and Z. Lu}, title = {Satisfiability in a linguistic-valued logic and its quasi-horn clause inference framework}, year = {2007}, volume = {42}, pages = {629-639}, month = {June 18-21st}, publisher = {The 9th IFSA World Congress: Theory and Applications of Fuzzy Logic and Soft Computing. Advances in Soft Computing. Springer}, address = {Cancún (México)}, }