曼纽尔·克莱维尔 一般逻辑、重写逻辑和莫德的反思。 （英语） Zbl 0917.68108号 Kirchner，Claude（编辑）等人，重写逻辑及其应用国际研讨会。1998年9月，法国蓬塔·穆松修道院。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。15，第21号电子文件（1998年）。MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Clavel}，in：I第二届重写逻辑及其应用国际研讨会，RWLW。。1998年9月，法国蓬塔·穆松修道院。阿姆斯特丹：爱思唯尔。第21号电子文件（1998；Zbl 0917.68108） 全文： 链接
M.克拉维尔。;杜兰，F。;艾克，S。;林肯，P。;新墨西哥州马丁·奥列特。;梅萨格，J。;J.F.奎萨达。 莫德语是一种元语言。 （英语） Zbl 0917.68106号 Kirchner，Claude（编辑）等人，重写逻辑及其应用国际研讨会。1998年9月，法国蓬塔·穆松修道院。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。15，第16号电子文件（1998年）。MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Clavel}等人，收录于：ITRWLW第二届重写逻辑及其应用国际研讨会。。1998年9月，法国蓬塔·穆松修道院。阿姆斯特丹：爱思唯尔。第16号电子文件（1998；Zbl 0917.68106） 全文： 链接
M.克拉维尔。;F.杜兰。;艾克，S。;林肯，P。;新墨西哥州马丁·奥列特。;Meseguer，J。 Maude中的元级计算。 （英语） Zbl 0917.68024号 Kirchner，Claude（编辑）等人，重写逻辑及其应用国际研讨会。1998年9月，法国Mousson桥的圣母院。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。15，电子文件第3号（1998年）。MSC公司：68甲15 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Clavel}等人，收录于：ITRWLW第二届重写逻辑及其应用国际研讨会。。1998年9月，法国蓬塔·穆松修道院。阿姆斯特丹：爱思唯尔。电子纸3号（1998；Zbl 0917.68024） 全文： 链接