阿尔特·卡奇，哈桑；帕西，加布里埃拉 相似签名上一阶项的模糊统一和推广。 （英语） Zbl 1508.68051号 Fioravanti，Fabio（编辑）等，基于逻辑的程序合成和转换。第27届国际研讨会，2017年LOPSTR，2017年10月10日至12日，比利时纳穆尔。修订了选定的论文。查姆：斯普林格。莱克特。票据计算。科学。10855, 218-234 (2018).MSC公司：68号30 03B52号 03B70号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Ait-Kaci}和\textit{G.Pasi}，莱克特。票据计算。科学。10855、218--234（2018；Zbl 1508.68051） 全文： 内政部 arXiv公司
阿尔特·卡奇，哈桑；安德烈亚斯·波德尔斯基 订单分类特征约束的包含和取消包含。 （英语） Zbl 0793.68022号 安德烈·沃伦科夫（编辑），《逻辑编程和自动推理》。第四届国际会议，1993年7月13日至20日，俄罗斯圣彼得堡LPAR’93。诉讼程序。柏林：Springer-Verlag。莱克特。票据计算。科学。698, 1-18 (1993).MSC公司：68N17号 03B47号 PDF格式BibTeX公司 XML格式引用 \textit{H.Ait-Kaci}和\textit{A.Podelski}，莱克特。票据计算。科学。698，1-18（1993；Zbl 0793.68022）
阿尔特·卡奇，哈桑；雅克·加里格 标签选择\（\lambda\）-演算语法和合流。 （英语） Zbl 0925.03090号 Shyamasundar，R.K.（编辑），《软件技术和理论计算机科学基础》。第十三届会议，印度孟买，1993年12月15日至17日。诉讼程序。柏林：Springer-Verlag。莱克特。票据计算。科学。761, 24-40 (1993).MSC公司：03B40型 PDF格式BibTeX公司 XML格式引用 \textit{H.Ait-Kaci}和\textit{J.Garrigue}，莱克特。票据计算。科学。761，24--40（1993；Zbl 0925.03090）