纪尧姆·费伊莱德;托马斯·杰奈特;瓦莱里越战通 术语重写系统的可达性分析。 （英语） Zbl 1075.68038号 J.汽车。推理 33，编号3-4，341-383（2004）.MSC公司：第68季度第42季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Feuillade}等人，J.Autom。推理33，No.3--4，341--383（2004；Zbl 1075.68038） 全文： 内政部 链接
纪尧姆·费伊莱德;托马斯·杰奈特 条件项重写系统中的可达性。 （英语） Zbl 1261.68099号 Dahn，Ingo（ed.）等人，FTP’2003：第四届一阶定理证明国际研讨会。研讨会会议记录（与RDP’03，改写、演绎和编程联合会议相关），西班牙巴伦西亚，2003年6月12日至14日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》86，第1期，133-146（2003）。MSC公司：68吨15 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Feuillade}和\textit{T.Genet}，电子。注释Theor。计算。科学。86，No.1，133--146（2003；Zbl 1261.68099） 全文： 内政部