菲利佩·卡萨尔；乔安·拉斯加 闪亮而有礼貌的理论有很多种等价性。 （英语） Zbl 1425.68370号 J.汽车。推理 60，第2期，221-236（2018）.MSC公司：68吨15 03B35型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{F.Casal}和\textit{J.Rasga}，J.Autom。推理60，No.2，221--236（2018；Zbl 1425.68370） 全文： 内政部
德扬·约瓦诺维奇；克拉克·巴雷特 小心理论组合。 （英语） Zbl 1284.68518号 形式方法系统。设计。 42，No.1，67-90（2013）.MSC公司：68吨15 03B70号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{D.Jovanović}和textit{C.Barrett}，《形式方法系统》。设计。42，第1号，67--90（2013；Zbl 1284.68518） 全文： 内政部
菲利佩·卡萨尔；乔安·拉斯加 重新审视闪亮与礼貌的对等。 （英语） Zbl 1433.03021号 McMillan，Ken（编辑）等人，《编程逻辑、人工智能和推理》。第19届国际会议，LPAR-19，南非斯特伦博什，2013年12月14-19日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8312, 198-212 (2013).MSC公司：03B35型 03B70号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{F.Casal}和\textit{J.Rasga}，莱克特。注释计算。科学。8312，198--212（2013；Zbl 1433.03021） 全文： 内政部
Sylvain Conchon公司；萨瓦·克里斯蒂奇 组合决策程序的策略。 （英语） 兹比尔1088.68161 西奥。计算。科学。 354，第2期，187-210（2006）.MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit{S.Conchon}和\textit{S.Krstić}，Theor。计算。科学。354，第2号，187--210（2006；Zbl 1088.68161） 全文： 内政部
塞萨尔·蒂内利；卡拉戈罗·扎尔巴。 结合非稳定无限理论。 （英语） Zbl 1108.03014号 J.汽车。推理 34，第3期，209-238（2005）.MSC公司：03B25号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{C.Tinelli}和\textit{C.G.Zarba}，J.Autom。推理34，No.3，209--238（2005；Zbl 1108.03014） 全文： 内政部
卡拉戈罗·扎尔巴。；坎通纳，多梅尼科；雅各布·T·施瓦茨。 集合论子语言的一种决策过程，涉及单调函数、加法函数和乘法函数。一： 两级案例。 （英语） Zbl 1067.03019号 J.汽车。推理 33，编号3-4，251-269（2004）.MSC公司：03B25号 03B35型 03E30年 PDF格式BibTeX公司 XML格式引用 \textit{C.G.Zarba}等人，J.Autom。推理33，No.3--4，251--269（2004；Zbl 1067.03019） 全文： 内政部
西尔维奥·吉拉尔迪 组合约束可满足性的模型理论方法。 （英语） Zbl 1069.03008号 J.汽车。推理 33，编号3-4，221-249（2004）. 审核人：尼古拉·恩德·拉努（克雷奥瓦） MSC公司：03B35型 03B25号 03C10号机组 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{S.Ghilardi}，J.Autom（美国汽车制造商协会）。推理33，No.3--4，221--249（2004；Zbl 1069.03008） 全文： 内政部
西尔维奥·吉拉尔迪 量词消除和标准器集成。 （英语） Zbl 1261.68100号 Dahn，Ingo（ed.）等人，FTP’2003:第四届一阶定理证明国际研讨会。研讨会论文集（关于RDP’03，重写、推导和编程联合会议），西班牙巴伦西亚，2003年6月12-14日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》86，第1期，22-34页（2003年）。MSC公司：68吨15 03C10号机组 PDF格式BibTeX公司 XML格式引用 \textit{S.Ghilardi}，电子。注释Theor。计算。科学。86，编号1，22--34（2003；Zbl 1261.68100） 全文： 内政部
塞萨尔·蒂内利；哈兰迪，梅迪 Nelson-Oppen组合过程的一个新的正确性证明。 （英语） Zbl 0893.03001号 Baader，Franz（编辑）等人，《组合系统的前沿》。第一次国际研讨会，德国慕尼黑，1996年3月26日至29日。多德雷赫特：Kluwer学术出版社。申请。日志。序列号。3, 103-119 (1996).MSC公司：03B25号 03C07号机组 2012年第68季度 03B22号 PDF格式BibTeX公司 XML格式引用 \textit{C.Tinelli}和\textit{M.Harandi}，应用。日志。序列号。3、103--119（1996；Zbl 0893.03001）