@第{zbMATH01377705条，作者={铃木，安仁}，Title={混合多模逻辑定理证明器在术语重写系统{CafeOBJ}}中的实现，FJournal={RIMS Kokyuroku}，期刊={RIMS Kokyuroku}，ISSN＝{1880-2818}，体积={1021}，页码={96--111}，年份={1997}，语言={英语}，关键词={03B35,03B45,68T15,68Q42}，zbMATH={1377705}，Zbl={0935.03020}}