Yingxu Wang Cognitive Informatics and Contemporary Mathematics for Knowledge Manipulation. 69-78 2006 conf/rskt/2006 RSKT http://dx.doi.org/10.1007/11795131_12 db/conf/rskt/rskt2006.html#Wang06