Yingxu Wang Toward a Formal Knowledge System Theory and Its Cognitive Informatics Foundations. 1-19 2009 5 Transactions on Computational Science http://dx.doi.org/10.1007/978-3-642-02097-1_1 journals/tcos/2009-5 db/journals/tcos/tcos5.html#Wang09