迭戈·卡尔瓦内斯;西尔维奥·吉拉尔迪;亚历山德罗·吉亚诺拉;马可·蒙塔利;安德烈·里夫金 通过Beth可定义性组合均匀插值。 （英语） Zbl 07606344号 J.汽车。推理 66，第3号，409-435（2022）.MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{D.Calvanee}等人，J.Autom。推理66，No.3，409--435（2022；Zbl 07606344） 全文： 内政部
迭戈·卡尔瓦内斯;西尔维奥·吉拉尔迪;亚历山德罗·吉亚诺拉;马可·蒙塔利;安德烈·里夫金 模型完备性、一致插值和叠加演算。（应用于验证数据软件过程）。 （英语） 兹比尔07433024 J.汽车。推理 65，第7期，941-969（2021）.MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{D.Calvanee}等人，J.Autom。推理65，No.7，941-969（2021；Zbl 07433024） 全文： 内政部
迭戈·卡尔瓦内斯;西尔维奥·吉拉尔迪;亚历山德罗·吉亚诺拉;马可·蒙塔利;安德烈·里夫金 组合封面和Beth可定义性。 （英语） Zbl 07614513号 佩尔蒂埃、尼古拉斯（编辑）等人，《自动推理》。第十届国际联合会议，2020年7月1日至4日，法国巴黎，IJCAR 2020。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12166, 181-200 (2020).MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{D.Calvanee}等人，Lect。注释计算。科学。12166，181--200（2020；Zbl 07614513） 全文： 内政部
迭戈·卡尔瓦内斯;西尔维奥·吉拉尔迪;亚历山德罗·吉亚诺拉;马可·蒙塔利;安德烈·里夫金 基于SMT的数据软件过程验证：一种模型理论方法。 （英语） Zbl 1495.68129号 数学。结构。计算。科学。 30，第3期，271-313（2020年）.MSC公司：60年第68季度 03B70号 03C98号 第68页，共15页 PDF格式BibTeX公司 XML格式引用 \textit{D.Calvanee}等人，数学。结构。计算。科学。30，第3号，271--313（2020；Zbl 1495.68129） 全文： 内政部
迭戈·卡尔瓦内斯;西尔维奥·吉拉尔迪;亚历山德罗·吉亚诺拉;马可·蒙塔利;安德烈·里夫金 模型完整性、覆盖和叠加。 （英语） Zbl 07178974号 Fontaine，Pascal（编辑），自动扣除-CADE 27。第27届自动扣减国际会议，巴西纳塔尔，2019年8月27日至30日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11716142-160（2019年）。MSC公司：60年第68季度 03C10号机组 PDF格式BibTeX公司 XML格式引用 \textit{D.Calvanee}等人，Lect。注释计算。科学。11716、142-160（2019；Zbl 07178974） 全文： 内政部