@inbook{0d3904e79ebe4535b7fa4be79c970bff,
title = "alpha-Quasi-Lock Semantic Resolution Method for Linguistic Truth-Valued Lattice-Valued Propositional Logic LV(nx2)P(X)",
keywords = "alpha-Quasi-lock semantic resolution method, Resolution-based automated reasoning, Linguistic truth-valued lattice-valued propositional logic, Linguistic truth-valued lattice implication algebra",
author = "Xiaomei Zhong and Jun Liu and Shuwei Chen and Yang Xu",
year = "2011",
language = "English",
isbn = "978-3-642-25663-9",
volume = "122",
series = "Advances in Intelligent and Soft Computing",
pages = "159--+",
booktitle = "FOUNDATIONS OF INTELLIGENT SYSTEMS (ISKE 2011)",
}