丹尼尔·祖切利;恩里卡·尼科里尼 无限状态系统模型检验的可判定性结果。 （英语） Zbl 1279.68226号 J.汽车。推理 48，第1号，1-42（2012）.MSC公司：60年第68季度 03年2月25日 PDF格式BibTeX公司 XML格式引用 \textit{D.Zucchelli}和\textit{E.Nicolini}，J.Autom。推理48，No.1，1--42（2012；Zbl 1279.68226） 全文： DOI程序
恩里卡·尼科里尼;克里斯托夫·林盖森;米歇尔·鲁西诺维奇 共享整数偏移量的理论组合的可满足性程序。 （英语） Zbl 1234.68262号 Kowalewski，Stefan（编辑）等人，《系统构建和分析的工具和算法》。2009年3月22日至29日在英国约克举行的第15届国际会议TACAS 2009，是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00767-5/pbk）。计算机科学讲座笔记5505428-442（2009）。MSC公司：60年第68季度 03B70号 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{E.Nicolini}等人，Lect。票据计算。科学。5505428-442（2009年；Zbl 1234.68262） 全文： DOI程序
西尔维奥·吉拉尔迪;恩里卡·尼科里尼;西尔维奥·兰伊斯;丹尼尔·祖切利 面向阵列系统的SMT模型检查。 （英语） Zbl 1165.68406号 阿曼多、亚历山德罗（编辑）等，《自动推理》。2008年8月12日至15日在澳大利亚悉尼举行的第四届国际联合会议。柏林：施普林格出版社（ISBN 978-3-540-71069-1/pbk）。计算机科学课堂讲稿5195。人工智能课堂讲稿，67-82（2008）。MSC公司：60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{S.Ghilardi}等人，Lect。票据计算。科学。5195、67-82（2008年；Zbl 1165.68406） 全文： DOI程序
西尔维奥·吉拉尔迪;恩里卡·尼科里尼;西尔维奥·兰伊斯;丹尼尔·祖切利 阵列理论扩展的决策程序。 （英语） Zbl 1125.68115号 安。数学。Artif公司。智力。 50，第3-4、231-254号（2007年）.MSC公司：68T27型 03B70号 68吨15 03年2月25日 PDF格式BibTeX公司 XML格式引用 \textit{S.Ghilardi}等人，《数学年鉴》。Artif公司。智力。50，编号3--4，231--254（2007；Zbl 1125.68115） 全文： DOI程序