@congreso_internacional{470, author = {Jun Liu and Luis Martínez and Yang Xu and Z. Lu}, title = {Automated reasoning algorithm for linguistic valued Lukasiewicz propositional logic}, year = {2007}, pages = {29-34}, month = {May 14-16th}, publisher = {Proceeding of ISMVL2007 - 37th IEEE International Symposium on Multiple-Valued Logic}, address = {IEEE, Oslo (Norway)}, }