Alpunte,M。;D.巴利斯。;萨皮尼亚,J。 通过在ÁTAME公司系统。 (英语) 兹比尔1471.68051 数学。计算。科学。 14,第3期,591-606(2020年).MSC公司:68号30 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人,《数学》。计算。科学。14,第3号,591--606(2020;Zbl 1471.68051) 全文: 内政部
Alpunte,M。;D.巴利斯。;科雷亚,F。;M.法拉斯基。 用于诊断和纠正基于规则的程序的集成框架。 (英语) Zbl 1205.68113号 西奥。计算。科学。 411,第47号,4055-4101(2010).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人,Theor。计算。科学。411,第47号,4055--4101(2010;Zbl 1205.68113) 全文: 内政部