盛、英;尤尼·佐哈尔;克里斯托夫·林盖森;简·兰格;帕斯卡·方丹;克拉克·巴雷特 代数数据类型的礼貌组合。 （英文） Zbl 07606342号 J.汽车。推理 66，编号3，331-355（2022）.MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{Y.Sheng}等人，J.Autom。推理66，No.3，331--355（2022；Zbl 07606342） 全文： 内政部 arXiv公司 链接
纪尧姆·伯勒;纪尧姆·伯里;拉斐尔·考德利埃;大卫·德拉哈耶;皮埃尔·哈尔马格兰;奥利维尔·赫曼特 用理论进行一阶自动推理：当演绎模理论符合实际时。 （英文） 兹比尔1468.68282 J.汽车。推理 64，第6号，1001-1050（2020）.MSC公司：68伏15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{G.Burel}等人，J.Autom。推理64，No.6，1001--1050（2020；Zbl 1468.68282） 全文： 内政部 哈尔
Paula Chocron;帕斯卡·方丹;克里斯托夫·林盖森 具有桥接功能的理论的礼貌和组合方法。 （英文） Zbl 1468.68143号 J.汽车。推理 64，第1期，97-134（2020）.MSC公司：68兰特 03B70号 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{P.Chocron}等人，J.Autom。推理64，No.1，97--134（2020；Zbl 1468.68143） 全文： 内政部 哈尔
富克斯，亚历山大;阿米特·戈尔;吉姆·格兰迪;萨瓦·克里斯蒂奇;塞萨尔·蒂内利 平等理论的地面插值。 （英文） Zbl 1234.68257号 Kowalewski，Stefan（编辑）等人，《系统构建和分析的工具和算法》。2009年3月22日至29日在英国约克举行的第15届国际会议TACAS 2009，是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00767-5/pbk）。计算机科学讲座笔记5505413-427（2009）。MSC公司：60年第68季度 03C40号 PDF格式BibTeX公司 XML格式引用 \textit｛A.Fuchs｝等人，Lect。注释计算。科学。5505413-427（2009年；Zbl 1234.68257） 全文： 内政部 arXiv公司
安德烈·普拉泽 混合系统的微分动态逻辑。 （英文） Zbl 1181.03035号 J.汽车。推理 41，第2期，143-189（2008）; 更正同上，第66号，第173（2022）。MSC公司：03B70号 03B35型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Platzer}，J.Autom。推理41，第2143-189号（2008年；Zbl 1181.03035） 全文： 内政部
哈拉尔德·甘辛格;维奥里卡Sofrone-Stokkerman;乌韦·沃尔德曼 具有Evans等式的部分函数的模证明系统。 （英文） Zbl 1103.68112号 Inf.计算。 204，第10期，1453-1492（2006）.MSC公司：68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit｛H.Ganzinger｝等人，信息计算。204，第10号，1453-1492（2006；Zbl 1103.68112） 全文： 内政部
塞萨尔·蒂内利;卡拉戈罗·扎尔巴。 结合非稳定无限理论。 （英文） 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） 全文： 内政部
卡拉戈罗·扎尔巴。 组合集合与基数。 （英文） Zbl 1085.03011号 J.汽车。推理 34，第1期，1-29页（2005）.MSC公司：03B35型 03E30年 03B25号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{C.G.Zarba}，J.Autom（汽车公司）。推理34，No.1，1--29（2005；Zbl 1085.03011） 全文： 内政部
西尔维奥·吉拉尔迪 组合约束可满足性的模型理论方法。 （英文） 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；兹bl 1069.03008） 全文： 内政部
塞萨尔·蒂内利;卡拉戈罗·扎尔巴。 结合了非稳定的无限理论。 （英文） Zbl 1261.03069号 Dahn，Ingo（ed.）等人，FTP’2003：第四届一阶定理证明国际研讨会。研讨会会议记录（与RDP’03，改写、演绎和编程联合会议相关），西班牙巴伦西亚，2003年6月12日至14日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》86，第1期，35-48（2003）。MSC公司：03B35型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{C.Tinelli}和\textit{C.G.Zarba}，电子。注释Theor。计算。科学。86，第1号，35-48（2003；Zbl 1261.03069） 全文： 内政部
西尔维奥·吉拉尔迪 量词消除和标准器集成。 （英文） 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） 全文： 内政部