贝尔科娃，玛尔塔;马特·多斯塔尔 有序余代数的Moss逻辑。 （英语） Zbl 07577582号 日志。方法计算。科学。 18，第3号，第18号论文，61页（2022年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Bílková}和\textit{M.Dostál}，Log。方法计算。科学。18，第3号，第18号文件，第61页（2022；Zbl 07577582） 全文： arXiv公司 链接
何塞·梅塞盖尔 条件重写模公理的严格一致性。 （英语） Zbl 1386.68080号 西奥。计算。科学。 672, 1-35 (2017).MSC公司：2012年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}，Theor（西奥）。计算。科学。672，1--35（2017；Zbl 1386.68080） 全文： 内政部
曼弗雷德·科伯;迈克尔·科尔哈斯 推理而不相信：关于预设和偏见的机械化。 （英语） Zbl 1398.03150号 J.应用。非类别。日志。 22，第4期，295-317（2012）.MSC公司：03B65号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{M.Kerber}和\textit{M.Kohlhase}，J.Appl。非类别。日志。22，编号4，295-317（2012年；兹bl 1398.03150） 全文： 内政部
肯·卡内瓦 带有谓词层次结构的顺序逻辑编程。 （英语） Zbl 1086.68026号 Artif公司。智力。 158，第2期，155-188（2004）.MSC公司：68N17号 第68页第27页 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{K.Kaneiwa}，阿蒂夫。智力。158，第2号，155--188（2004；Zbl 1086.68026） 全文： 内政部
肯·卡内瓦 层次表示中基于标签的公式的解析。 （英语） 兹比尔1088.68164 新一代计算。 22，第3期，253-269（2004）.MSC公司：68立方英尺 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{K.Kaneiwa}，新一代计算。22，第3号，253--269（2004；Zbl 1088.68164） 全文： 内政部
P.J.马丁。;A.加维拉内斯。;利奇，J。 带有术语声明的逻辑的Tableau方法。 （英语） Zbl 0965.03019号 J.塞姆。计算。 29，第2期，343-372（2000）.MSC公司：03B35型 第68页第15页 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{P.J.Martin}等人，J.Symb。计算。29，第2号，343--372（2000；Zbl 0965.03019） 全文： 内政部
弗兰斯·科宁 多维数据的Tesseral时空推理。 （英语） Zbl 0948.68165号 模式识别 33，第1号，9-23（2000）.MSC公司：68吨10 PDF格式BibTeX公司 XML格式引用 \textit{F.Coenen}，模式识别33，No.1，9--23（2000；Zbl 0948.68165） 全文： 内政部
布兰登·贝内特 分割空间：构建绝对完整的空间区域理论的步骤。 （英语） Zbl 1427.68300号 Alferes，JoséJülio（编辑）等人，《人工智能中的逻辑》。欧洲研讨会，JELIA’96，埃沃拉，葡萄牙，1996年9月30日至10月3日。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1126, 337-353 (1996).MSC公司：68立方英尺 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{B.Bennett}，莱克特。注释计算。科学。1126337-353（1996年；Zbl 1427.68300） 全文： 内政部
克里斯托夫·韦登巴赫 排序理论的统一及其应用。 （英语） Zbl 0887.03006号 安。数学。Artif公司。智力。 18，编号2-4，261-293（1996）.MSC公司：03B35型 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{C.Weidenbach}，Ann.数学。Artif公司。智力。18，编号2--4，261--293（1996；Zbl 0887.03006） 全文： 内政部
王铁成 用条件类型理论进行演绎的类型化分解原理。 （英语） Zbl 1013.68536号 Artif公司。智力。 75，第2期，161-194（1995）.MSC公司：第68页第15页 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{T.C.Wang}，Artif（阿蒂夫）。智力。75，第2号，161--194（1995；Zbl 1013.68536） 全文： 内政部
曼弗雷德·科伯;迈克尔·科尔哈斯 部分函数的强Kleene逻辑的机械化。 （英语） Zbl 1433.03024号 阿兰·邦迪（编辑），《自动扣除——CADE-12》。第十二届国际会议，法国南希，1994年6月26日至7月1日。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。814, 371-385 (1994).MSC公司：03B35型 03B50号 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{M.Kerber}和\textit{M.Kohlhase}，莱克特。注释计算。科学。814371-385（1994年；Zbl 1433.03024） 全文： 内政部 链接
C·拜尔勒。;Hedtstück，美国。;普莱塔特，美国。;施密特，P.H。;J.西克曼。 一种用于知识表示系统的有序逻辑。 （英语） Zbl 0768.68196号 Artif公司。智力。 55，第2-3期，149-191（1992）.MSC公司：第68页第27页 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{C.Beierle}等人，Artif。智力。55，No.2--3149--191（1992；Zbl 0768.68196） 全文： 内政部
安东尼·科恩（Anthony G.Cohn）。 正在完成排序层次结构。 （英语） Zbl 0794.68138号 计算。数学。申请。 23，编号6-9，477-491（1992）.MSC公司：第68页第15页 第68页第27页 68页第10页 PDF格式BibTeX公司 XML格式引用 \textit{A.G.Cohn}，计算。数学。申请。23，编号6--9，477--491（1992；Zbl 0794.68138） 全文： 内政部
大卫·A·兰德尔。;安东尼·科恩（Anthony G.Cohn）。 在空间和时间理论中利用格。 （英语） Zbl 0794.68147号 计算。数学。申请。 23，编号6-9，459-476（1992）.MSC公司：第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Randell}和\textit{A.G.Cohn}，计算。数学。申请。23，编号6--9，459--476（1992；Zbl 0794.68147） 全文： 内政部
艾伦·M·弗里希。 分类演绎的替代框架：混合推理的基本结果。 （英语） Zbl 0736.68071号 Artif公司。智力。 49，第1-3号，161-198（1991）.MSC公司：第68页第15页 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{A.M.Frisch}，阿蒂夫。智力。49，No.1--3，161--198（1991；Zbl 0736.68071） 全文： 内政部