亚历山德罗·西马蒂;卢卡·盖蒂;尼古拉·吉甘特;安吉洛·蒙塔纳里;斯特凡诺·托内塔 \（\mathsf{GR}（1）\）等价于\（\mathf{R}（一）\）。 （英语） Zbl 1529.03188号 信息处理。莱特。 179，文章ID 106319，8 p.（2023）.MSC公司：03B70号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit｛A.Cimatti｝等人，Inf.过程。莱特。179，文章ID 106319，8 p.（2023；Zbl 1529.03188） 全文： 内政部
亚历山德罗·西马蒂;卢卡·盖蒂;吉甘特，尼古拉;安吉洛·蒙塔纳里;斯特凡诺·托内塔 扩展有界响应的公平性、假设和保证长期贷款+P合成。 （英语） Zbl 1522.68302号 Calinescu，Radu（编辑）等人，《软件工程和形式化方法》。第19届国际会议，SEFM 2021，虚拟活动，2021年12月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13085, 351-371 (2021).MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人，Lect。注释计算。科学。13085、351--371（2021；Zbl 1522.68302） 全文： 内政部