亚历山德罗·阿曼多（编辑）;亚历山德罗·西马蒂（编辑） 2005年7月12日，英国爱丁堡，第三届自动推理决策程序语用研讨会论文集（PDPAR 2005）。 （英语） Zbl 1272.68005号 理论计算机科学电子笔记第144页，第2页。阿姆斯特丹：爱思唯尔。第91页。，仅限电子版（2006年）。MSC公司：68-06 03B35型 68吨15 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Armando}（ed.）和textit{A.Cimatti}（edi.），第三届自动推理决策程序语用研讨会论文集（PDPAR 2005），英国爱丁堡，2005年7月12日。阿姆斯特丹：Elsevier（2006；Zbl 1272.68005） 全文： 链接
亚历山德罗·西马蒂（编辑）;奥尔纳·格伦伯格（编辑） 作为第二届联邦逻辑会议（FLoC’99）的一部分，第一届符号模型检查国际研讨会（SMC’99年）会议记录。意大利特伦托，1999年7月6日。 （英语） Zbl 0920.00044号 理论计算机科学电子笔记. 23,2. 阿姆斯特丹：Elsevier，9篇论文（电子版）（1999年）。MSC公司：00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}（编辑）和\textit{O.Grumberg}（主编），符号模型检查第一届国际研讨会（SMC’99）会议记录，作为第二届联邦逻辑会议（FLoC‘99）的一部分。意大利特伦托，1999年7月6日。阿姆斯特丹：Elsevier（1999；Zbl 0920.00044）