马可·波扎诺 乔治·德尔扎诺 毛里齐奥·马泰利 线性逻辑程序的有效不动点语义。 85-122 2002 2 理论与实践。日志。程序。 1 db/journals/tplp/tplp2.html#BozzanoDM02 https://doi.org/10.1017/S1471068402001254