瓦利德·贝尔基尔;尼古拉斯·拉蒂尔;Duy Nguyen先生;米歇尔·伦茨纳 用模式匹配和定点构成的一类遍历策略的统一和组合。 （英语） Zbl 07485819号 J.日志。代数。方法计划。 125，文章ID 100746，64 p.（2022）.MSC公司：2012年第68季度 35问68 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Belkhir}等人，J.Log。代数。方法计划。125，文章ID 100746，64 p.（2022；Zbl 07485819） 全文： DOI程序 arXiv公司
玛丽亚·乔昂·古韦亚;路易吉·桑托卡纳莱 \（\aleph_1）和模态演算。 （英语） Zbl 1454.03027号 日志。方法计算。科学。 15，第4号，第1号论文，34页（2019年）.MSC公司：03B45号 03日70 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Gouveia}和\textit{L.Santocanale}，Log。方法计算。科学。15，第4号，第1号论文，34页（2019年；Zbl 1454.03027） 全文： arXiv公司
迪特马尔·伯旺格;埃里希·格拉德尔;凯撒，乌卡斯;罗马人拉比诺维奇 有向图的纠缠和复杂性。 （英语） Zbl 1256.05086号 西奥。计算。科学。 463, 2-25 (2012).MSC公司：05C20号 05第57页 05C85号 91A43型 91A24型 PDF格式BibTeX公司 XML格式引用 \textit{D.Berwanger}等人，Theor。计算。科学。463，2--25（2012；Zbl 1256.05086） 全文： DOI程序
瓦利德·贝尔基尔;路易吉·桑托卡纳莱 游戏\（\mu\）-演算的变量层次结构。 （英语） Zbl 1225.03028号 Ann.纯粹应用。逻辑 161，第5期，690-707（2010）.MSC公司：03B70号 03B45号 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{W.Belkhir}和\textit{L.Santocanale}，Ann.Pure Appl。逻辑161，No.5，690--707（2010；Zbl 1225.03028） 全文： DOI程序
瓦利德·贝尔基尔;路易吉·桑托卡纳莱 纠缠的无向图2。 （英语） Zbl 1135.68503号 Arvind，V.（ed.）等人，FSTTCS 2007：软件技术和理论计算机科学基础。第27届国际会议，印度新德里，2007年12月12-14日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-77049-7/pbk）。计算机科学课堂讲稿4855508-519（2007）。MSC公司：68兰特 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{W.Belkhir}和\textit{L.Santocanale}，莱克特。注释计算。科学。4855，508--519（2007；Zbl 1135.68503） 全文： DOI程序 arXiv公司