阿尔特·卡奇，哈桑;加布里埃拉·帕西 具有相似构造函数的签名上一阶项的模糊格运算：一种基于约束的方法。 （英语） Zbl 1452.06008号 模糊集系统。 391, 1-46 (2020).MSC公司：72年6月 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{H.Ait-Kaci}和\textit{G.Pasi}，模糊集系统。391，1--46（2020；Zbl 1452.06008） 全文： 内政部
Levy，乔迪;贾姆·阿古斯蒂 双重写，一种用于单调顺序关系的术语重写技术。 （英语） Zbl 1503.68131号 Kirchner，Claude（编辑），重写技术和应用。1993年6月16日至18日，加拿大蒙特利尔，RTA-93第五届国际会议。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。690, 17-31 (1993).MSC公司：2012年第68季度 05年6月 PDF格式BibTeX公司 XML格式引用 \textit{J.Levy}和\textit{J.Agustí}，莱克特。注释计算。科学。690、17-31（1993年；Zbl 1503.68131） 全文： 内政部
皮埃尔·莱斯坎 重写好序和拟序。 （英语） Zbl 0778.68048号 J.塞姆。计算。 14，第5期，419-435（1992）.MSC公司：2012年第68季度 2011年1月6日 PDF格式BibTeX公司 XML格式引用 \textit{P.Lescanne}，J.Symb。计算。14，第5号，419--435（1992；Zbl 0778.68048） 全文： 内政部