• 中国计算机学会会刊
  • 中国科技核心期刊
  • 中文核心期刊
具有两种否定的描述逻辑系统MALC
程天笑 潘正华
计算机工程与科学 . 2008, (11): 65 -67 .