马埃斯特雷·马丁内斯，罗伯托;安东尼奥·埃尔南多;尤金尼奥·罗内斯·洛扎诺 用于检测专家系统中几乎危险情况的代数方法。 （英语） Zbl 1524.68369号 数学。计算。模拟。 129, 81-93 (2016).MSC公司：68层35 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{R.Maestre-Martínez}等人，《数学》。计算。模拟。129、81-93（2016年；Zbl 1524.68369） 全文： DOI程序
安东尼奥·埃尔南多;尤金尼奥·罗内斯·洛扎诺;路易斯·莱塔。 真值为素数幂的逻辑多项式模型。 （英语） Zbl 1231.03023号 J.汽车。推理 46，第2期，205-221（2011）.MSC公司：03B50号 03G25号 68层35 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{A.Hernando}等人，J.Autom。推理46，No.2，205--221（2011；Zbl 1231.03023） 全文： DOI程序
亚历山德罗·阿曼多;丹尼尔·齐尼 通过逻辑代理体系结构连接计算机代数和演绎系统。 （英语） Zbl 1017.68167号 Kerber，Manfred（编辑）等人，符号计算和自动推理。CALCULEMUS-2000研讨会。第八届符号计算与机械化推理集成研讨会，苏格兰圣安德鲁斯，英国，2000年8月6-7日。马萨诸塞州纳蒂克：A.K.彼得斯。49-64 (2001).MSC公司：68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{A.Armando}和\textit{D.Zini}，in：符号计算和自动推理。CALCULEMUS-2000研讨会。2000年8月6日至7日，英国苏格兰圣安德鲁斯，第八届符号计算与机械化推理集成研讨会。马萨诸塞州纳蒂克：A.K.彼得斯。49-64（2001年；Zbl 1017.68167）
尤金尼奥·罗内斯·洛扎诺;路易斯·莱塔。;罗内斯·马西亚斯，尤金尼奥 多值逻辑的多项式模型，具有代数几何和计算机代数的触觉。 （英语） Zbl 1017.03509号 数学。计算。模拟。 45，编号1-2，83-99（1998）.MSC公司：03B50号 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{E.Roanes-Lozano}等人，数学。计算。模拟。45，编号1--2，83-99（1998；Zbl 1017.03509） 全文： DOI程序
阿方索·米奥拉（编辑） 符号计算系统的设计与实现。1990年4月10日至12日，意大利卡普里，DISCO’90国际研讨会。诉讼程序。 （英语） Zbl 0757.68013号 计算机科学课堂讲稿. 429. 柏林等：Springer-Verlag。十二、 第284页（1990年）。 审核人：弗朗西斯·约翰·赖特（伦敦） MSC公司：68-06 68甲15 68瓦30 68吨15 68单位05 68N17号 2012年第68季度 68层35 PDF格式BibTeX公司 XML格式引用 \textit｛A.Miola｝（编辑），符号计算系统的设计和实现。1990年4月10日至12日，意大利卡普里，DISCO’90国际研讨会。诉讼程序。柏林等：Springer-Verlag（1990；Zbl 0757.68013）