亚历山德罗·阿曼多;亚历山德罗·科利奥;福斯托·金奇利亚;西尔维奥·兰伊斯 开放式机械化推理系统中的控制层：注释和策略。 （英语） Zbl 0983.68178号 J.塞姆。计算。 32，第4号，305-332（2001）.MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Armando}等人，J.Symb。计算。32，编号4305-332（2001；兹bl 0983.68178） 全文： 内政部 链接
亚历山德罗·阿曼多;迈克尔·科尔哈斯;西尔维奥·兰伊斯 基于KQML和OMRS的数学服务通信协议。 （英语） Zbl 0986.68003号 Kerber，Manfred（编辑）等人，《符号计算和自动推理》。CALCULEMUS-2000研讨会。2000年8月6日至7日，英国苏格兰圣安德鲁斯，第八届符号计算与机械化推理集成研讨会。马萨诸塞州纳蒂克：A.K.彼得斯。33-48 (2001).MSC公司：68个M12 PDF格式BibTeX公司 XML格式引用 \textit{A.Armando}等人，in：符号计算和自动推理。CALCULEMUS-2000研讨会。第八届符号计算与机械化推理集成研讨会，苏格兰圣安德鲁斯，英国，2000年8月6-7日。马萨诸塞州纳蒂克：A.K.彼得斯。33-48（2001；Zbl 0986.68003）
何塞·梅塞盖尔;卡罗琳·塔尔科特 将OMRS映射到重写逻辑。 （英语） Zbl 0917.68105号 Kirchner，Claude（编辑）等人，重写逻辑及其应用国际研讨会。1998年9月，法国蓬塔·穆松修道院。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。15，第23号电子文件（1998年）。MSC公司：2012年第68季度 68时01分 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}和\textit{C.Talcott}，收录于：ITRWLW第二届重写逻辑及其应用国际研讨会。。1998年9月，法国蓬塔·穆松修道院。阿姆斯特丹：爱思唯尔。第23号电子文件（1998；Zbl 0917.68105） 全文： 链接