亚历山德罗·阿曼多;克莱门斯·巴拉林 通过约束上下文重写重构和扩展Maple的假设功能。 （英语） Zbl 1126.68098号 J.塞姆。计算。 39，第5期，503-521（2005）.MSC公司：68瓦30 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Armando}和\textit{C.Ballarin}，J.Symb。计算。39，第5号，503--521（2005；Zbl 1126.68098） 全文： 内政部
亚历山德罗·阿曼多;克劳迪奥·卡斯泰里尼;恩里科Giunchilia;马可·马拉提亚 基于SAT的分离逻辑方法。 （英语） Zbl 1109.68108号 J.汽车。推理 35，编号1-3，237-263（2005）.MSC公司：68T27型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Armando}等人，J.Autom。推理35，No.1--3，237--263（2005；Zbl 1109.68108） 全文： 内政部 链接
亚历山德罗·阿曼多;西尔维奥·兰伊斯 约束上下文重写。 （英语） Zbl 1039.68059号 J.塞姆。计算。 36，第1-2号，193-216（2003）.MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Armando}和\textit{S.Ranise}，J.Symb。计算。36，编号1--2，193-216（2003；Zbl 1039.68059） 全文： 内政部
亚历山德罗·阿曼多;西尔维奥·兰伊斯;米夏埃尔·鲁西诺维奇 可满足性过程的重写方法。 （英语） Zbl 1054.68077号 Inf.计算。 183，第2期，140-164（2003）.MSC公司：2012年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Armando}等人，《信息计算》。183，第2号，140--164（2003；Zbl 1054.68077） 全文： 内政部
亚历山德罗·阿曼多;米夏埃尔·鲁西诺维奇;斯特拉图拉特，索林 在隐式归纳法中纳入决策程序。 （英语） Zbl 1037.68129号 J.塞姆。计算。 34，第4期，241-258（2002）.MSC公司：68瓦30 68吨15 2012年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Armando}等人，J.Symb。计算。34，第4号，241--258（2002；Zbl 1037.68129） 全文： 内政部 链接
亚历山德罗·阿曼多;亚历山德罗·科利奥;福斯托·金奇利亚;西尔维奥·兰伊斯 开放式机械化推理系统中的控制层：注释和策略。 （英语） Zbl 0983.68178号 J.塞姆。计算。 32，第4号，305-332（2001）.MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Armando}等人，J.Symb。计算。32，第4号，305-332（2001；Zbl 0983.68178） 全文： 内政部 链接
亚历山德罗·阿曼多;亚历山德罗·科利奥;福斯托·金奇利亚 开放式机械化推理系统的控制组件。 （英语） Zbl 0958.68171号 Armando，Alessandro（编辑）等人，微积分99。综合计算和扣除系统，意大利特伦托，1999年7月11日至12日。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。23,318页，仅电子版（1999年）。MSC公司：68层35 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Armando}等人，in：Calculemus 99。《综合计算和扣除系统》，意大利特伦托，1999年7月11-12日。阿姆斯特丹：爱思唯尔。18页（1999年；Zbl 0958.68171）
恩里科Giunchilia;亚历山德罗·阿曼多;保罗·佩奇亚里 结构化证明程序。 （英语） Zbl 0857.68093号 安。数学。Artif公司。智力。 15，第1期，1-18（1995）.MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit{E.Giunchiglia}等人，《数学年鉴》。Artif公司。智力。15，第1号，1--18（1995；Zbl 0857.68093） 全文： 内政部
亚历山德罗·阿曼多;恩里科Giunchilia 在交互式定理证明器中嵌入复杂的决策过程。 （英语） Zbl 1034.68541号 安。数学。Artif公司。智力。 8，编号3-4475-502（1993）.MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit｛A.Armando｝和\textit｛E.Giunchiglia｝，Ann.Math。Artif公司。智力。8，编号3--4，475--502（1993；Zbl 1034.68541） 全文： 内政部