巴特·博加特；Joost Vennekens；马克·德内克 关于基础良好的集诱导和局部单调算子。 （英语） Zbl 1367.68275号 ACM事务处理。计算。日志。 17号第4条第27条第32页（2016年）.MSC公司：68T27型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{B.Bogaerts}等人，ACM Trans。计算。日志。17，第4号，第27条，第32页（2016年；Zbl 1367.68275） 全文： 内政部 链接
约翰·威托克斯；马克·德内克；莫里斯·布吕诺格 一阶逻辑和归纳定义的约束传播。 （英语） Zbl 1353.68260号 ACM事务处理。计算。日志。 第14号第3条第17条第45页（2013年）.MSC公司：68T20型 03B10号机组 第68页，共15页 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{J.Wittocx}等人，《美国医学杂志》。计算。日志。14，第3号，第17条，第45页（2013年；兹bl 1353.68260） 全文： 内政部 arXiv公司 链接
马克·德内克；尤金妮亚·特诺夫斯卡 非单调归纳定义的逻辑。 （英语） Zbl 1367.68278号 ACM事务处理。计算。日志。 9，第2号，第14条，52页（2008年）.MSC公司：68T27型 03B60号 68N17号 PDF格式BibTeX公司 XML格式引用 \textit｛M.Denecker｝和\textit｛E.Ternovska｝，ACM Trans。计算。日志。9，第2号，第14条，第52页（2008年；兹bl 1367.68278） 全文： 内政部 链接
Joost Vennekens；戴维·吉利斯；马克·德内克 勘误：“拆分运算符：具有不动点语义的逻辑的代数模块化结果”。 （英语） Zbl 1367.68296号 ACM事务处理。计算。日志。 8，第1号，第7条，第3页（2007年）.MSC公司：68T27型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{J.Vennekens}等人，《美国医学杂志》。计算。日志。8，第1号，第7条，第3页（2007年；兹bl 1367.68296） 全文： 内政部
Joost Vennekens；戴维·吉利斯；马克·德内克 拆分运算符：具有不动点语义的逻辑的代数模块化结果。 （英语） Zbl 1367.68295号 ACM事务处理。计算。日志。 7，第4期，765-797（2006）; 勘误表同上，第8号，第1条，第7条，第3页（2007年）。MSC公司：68T27型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{J.Vennekens}等人，《美国医学杂志》。计算。日志。7，编号4765-797（2006年；兹bl 1367.68295） 全文： 内政部
马克·德内克；莫里斯·布吕诺格；维克托·马雷克 重温逻辑编程：作为归纳定义的逻辑程序。 （英语） Zbl 1365.68148号 ACM事务处理。计算。日志。 2，第4期，623-654（2001）.MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Denecker}等人，《美国医学杂志》。计算。日志。2，第4号，623--654（2001；Zbl 1365.68148） 全文： 内政部