Dianxiang Xu, Guoliang Zheng: Logical object as a basis of knowledge based systems. J. Comput. Sci. Technol. 10(5): 425-438 (1995)