Jean-Pierre Jouannaud;阿尔伯特·鲁比奥 正常的高阶终止。 （英语） Zbl 1354.68140号 ACM事务处理。计算。日志。 16，第2号，第13条，38页（2015年）.MSC公司：2012年第68季度 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Jouannaud}和\textit{A.Rubio}，ACM翻译。计算。日志。16，第2号，第13条，38页（2015；Zbl 1354.68140） 全文： DOI程序 链接
弗雷德里克·布兰基;Jean-Pierre Jouannaud;阿尔伯特·鲁比奥 可计算性路径排序：任务的结束。 （英语） Zbl 1156.68568号 卡明斯基，迈克尔（编辑）等人，《计算机科学逻辑》。2008年9月16日至19日，在意大利贝蒂诺罗举行的第22届CSL国际研讨会，第17届EACSL年会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-87530-7/pbk）。计算机科学课堂讲稿5213，1-14（2008）。MSC公司：68吨15 03B35型 03B70号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Blanqui}等人，Lect。注释计算。科学。5213，1-14（2008；Zbl 1156.68568） 全文： DOI程序 链接
Jean-Pierre Jouannaud;阿尔伯特·鲁比奥 重写\（eta\）-long\（beta\）-normal形式的高阶项的排序和递归路径排序。 （英语） 兹比尔0912.68103 西奥。计算。科学。 208，编号1-2，33-58（1998）.MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Jouannaud}和\textit{A.Rubio}，Theor。计算。科学。208，编号1--2，33-58（1998；Zbl 0912.68103） 全文： DOI程序
Jean-Pierre Jouannaud;阿尔伯特·鲁比奥 高阶项的递归路径排序，格式为\（\eta\）-long\（\beta\）-normal。 （英语） Zbl 1503.68119号 Ganzinger，Harald（编辑），重写技术和应用。第七届国际会议，RTA'96，新泽西州新不伦瑞克，美国，1996年7月27日至30日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1103, 108-122 (1996).MSC公司：2012年第68季度 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Jouannaud}和\textit{A.Rubio}，莱克特。注释计算。科学。1103、108-122（1996年；Zbl 1503.68119） 全文： DOI程序