纪尧姆·伯勒;克洛德·基什内尔 使用抽象补全重新获得演绎模中的割可容许性。 （英语） Zbl 1191.68359号 Inf.计算。 208，第2期，140-164（2010）.MSC公司：2012年第68季度 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{G.Burel}和\textit{C.Kirchner}，Inf.Compute。208，第2号，140--164（2010；Zbl 1191.68359） 全文： 内政部
法布里斯·纳洪;克洛德·基什内尔;Hélène基什内尔;保罗·布劳纳 防感应搜索模块。 （英语） Zbl 1192.68631号 安。数学。Artif公司。智力。 55，编号1-2，123-154（2009）.MSC公司：68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{F.Nahon}等人，《数学年鉴》。Artif公司。智力。55，编号1--2，123-154（2009；Zbl 1192.68631） 全文： 内政部 链接
鲍尔丹，P。;贝托利西，C。;希尔斯塔，H。;C·基什内尔。 图重写演算的共享策略。 （英语） Zbl 1279.68111号 Giesl，J.（编辑），第七届改写和编程中的简化策略国际研讨会论文集（WRS 2007），法国巴黎，2007年6月25日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记204111-127（2008）。MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}等人，《电子》。注释Theor。计算。科学。204111-127（2008年；Zbl 1279.68111） 全文： 内政部
纳鸿·德肖维茨;克洛德·基什内尔 抽象规范演示。 （英语） Zbl 1099.03047号 西奥。计算。科学。 357，编号1-3，53-69（2006）.MSC公司：03财年03 03B35型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Dershowitz}和\textit{C.Kirchner}，Theor。计算。科学。357，编号1-3，53-69（2006年；兹bl 1099.03047） 全文： 内政部
Gilles Dowek;塞雷塞·哈丁;克洛德·基什内尔 证明模的定理。 （英语） Zbl 1049.03011号 J.汽车。推理 31，第1期，33-72（2003）. 审核人：乌韦·舍宁（乌尔姆） MSC公司：03B35型 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{G.Dowek}等人，J.Autom。推理31，No.1，33--72（2003；Zbl 1049.03011） 全文： 内政部
彼得·博罗万斯克;克洛德·基什内尔;Hélène基什内尔;皮埃尔·艾蒂安·莫罗 从重写逻辑的角度来看，ELAN。 （英语） Zbl 1001.68057号 西奥。计算。科学。 285，第2期，155-185（2002）.MSC公司：2012年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{P.Borovanskí}等人，Theor。计算。科学。285，第2号，155--185（2002；Zbl 1001.68057） 全文： 内政部
伊莎贝·格尼迪格;克洛德·基什内尔;Hélène基什内尔 有序代数中的等式完备。 （英语） Zbl 0698.68028号 西奥。计算。科学。 72，第2-3号，169-202（1990）.MSC公司：68问题65 03天 08B05号 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{I.Gneedig}等人，Theor。计算。科学。72，编号2--3，169--202（1990；Zbl 0698.68028） 全文： 内政部