瑞希德·埃哈希德;穆纳乔·埃切宁;迈赫迪·姆哈拉;尼古拉斯·佩尔蒂埃 图的严格约束叠加演算。 （英文） Zbl 07770335号 Kupferman，Orna（编辑）等人，《软件科学和计算结构基础》。第26届国际会议FOSSACS 2023，作为欧洲软件理论与实践联合会议ETAPS 2023的一部分，于2023年4月22日至27日在法国巴黎举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13992, 135-155 (2023).MSC公司：68新元 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{R.Echahed}等人，Lect。注释计算。科学。13992、135——155（2023年；Zbl 07770335） 全文： 内政部
Tour男孩，蒂埃里;瑞希德·埃哈希德 属性图的并行重写。 （英文） Zbl 1464.68137号 西奥。计算。科学。 848, 106-132 (2020).MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Boy de la Tour}和\textit{R.Echahed}，Theor。计算。科学。848106-132（2020年；Zbl 1464.68137） 全文： 内政部
安德烈亚·科拉迪尼;多米尼克·杜瓦尔;瑞希德·埃哈希德;普罗斯特、弗雷德里克;莱拉·里贝罗 控制嵌入的代数图重写。 （英文） Zbl 1436.68155号 西奥。计算。科学。 802，19-37（2020）.MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Corradini}等人，Theor。计算。科学。802、19-37（2020年；Zbl 1436.68155） 全文： 内政部