This research is supported by the National Natural Science Foundation of China(国家自然科学基金,No.69883008,69773027),the National Foundation Research Programme of China(国家基础研究发展规划项目,No.G1999032704),and the IT School of Tsinghua University(清华大学信息学院基础创新研究).
王克文,周立柱,陈火旺.扩充析取逻辑程序的争论语义.软件学报,2000,11(3):293-299
复制