@第{zbMATH01454399条，作者={Arts，T.和Giesl，J.}，标题={使用依赖项对终止术语重写}，FJournal={理论计算机科学}，期刊={Theor.Comput.Sci.}，ISSN={0304-3975}，体积={236}，数字={1-2}，页码={133--178}，年份={2000}，语言={英语}，DOI={10.1016/S0304-3975（99）00207-8}，关键词={68Q42}，zbMATH={1454399}，Zbl={0938.68051}}