Quantitative Logic and Soft Computing 2010 Volume 2 - Cao, Bing-yuan; Wang, Guo-jun; Chen, Shui-li; Guo, Si-zong (Springer Berlin Heidelberg, 2010)