乔斯特·文内肯斯;戴维·吉利斯;马克·德纳克 拆分运算符：具有不动点语义的逻辑的代数模块化结果。 （英语） Zbl 1367.68295号 ACM事务处理。计算。日志。 7，第4期，765-797（2006）; 勘误表同上，第8号，第1条，第7条，第3页（2007年）。 引用于1审查引用于12文件 MSC公司： 68T27型 人工智能中的逻辑 68N17号 逻辑编程 关键词：模块化;自回归逻辑;默认逻辑;逻辑程序设计 PDF格式BibTeX公司 XML格式引用 \textit{J.Vennekens}等人，《美国医学杂志》。计算。日志。7，第4号，765--797（2006；Zbl 1367.68295） 全文： 内政部