Gelfond，M.和Przymusinska，H.，1992年。 论自认知理论的一致性和完整性。 《基础信息》16、1、59-92。 谷歌学者 
数字图书馆 
Niemelä，I.和Rintanen，J.1994年。 关于分层对非单调推理复杂性的影响。 J.应用。 非经典。 逻辑4、2。 谷歌学者 Turner，H.1996年。 拆分默认理论。 第十三届全国人工智能大会暨第八届人工智能创新应用大会论文集。 AAAI出版社，645--651。 谷歌学者 数字图书馆 Vennekens，J.、Gilis，D.和Denecker，M.，2006年。 拆分操作符：代数模块化是具有不动点语义的逻辑的结果。 ACM事务处理。 计算。 逻辑7，4，765--797。 谷歌学者 数字图书馆
