@收款{zbMATH01231667，作者={Clavel，M.和Dur{'a}n，F.和Eker，S.和Lincoln，P.和Mart{'{i}}-Oliet，n.和Mesaguer，J.和Quesada，J.F.}，标题={作为元语言的莫德}，BookTitle={第二届重写逻辑及其应用国际研讨会，RWLW.Abbaye des Pr\`emontr\`es，法国庞特-穆森，1998年9月}，页数={第16号电子纸}，年份={1998}，出版商={阿姆斯特丹：爱思唯尔}，语言={英语}，关键词={68Q42}，URL={www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt？jrnl=tcs&sctn=entcs&mode=sub&vol=15#15016}，zbMATH={1231667}，Zbl={0917.68106}}