马可·波扎诺 乔治·德尔扎诺 毛里齐奥·马泰利 线性逻辑程序的一种有效的固定点语义 https://arxiv.org/abs/cs/0102025 2001 CoRR公司 完。PL/0102025 db/journals/corr/corr0102.html#cs-PL-0102025