@inproceedings{conf/ismvl/LiuLXL07,
title = {Automated Reasoning Algorithm for Linguistic Valued Lukasiewicz Propositional Logic.},
author = {Jun Liu and Luis Martinez Lopez and Yang Xu and Zhirui Lu},
booktitle = {ISMVL},
crossref = {conf/ismvl/2007},
pages = {29},
publisher = {IEEE Computer Society},
url = {http://dblp.uni-trier.de/db/conf/ismvl/ismvl2007.html#LiuLXL07},
year = {2007},
description = {dblp},
ee = {http://dx.doi.org/10.1109/ISMVL.2007.9}, isbn = {978-0-7695-2831-1}, date = {2008-09-03},
keywords = {dblp }
}
::