@第{zbMATH05073793条，作者={Geser、Alfons和Hofbauer、Dieter和Waldmann、Johannes}，Title={通过逆匹配边界的字符串重写系统的终止证明}，FJournal={自动推理杂志}，日志={J.自动推理}，ISSN={0168-7433}，体积={34}，数字={4}，页码={365--385}，年份={2005}，语言={英语}，DOI={10.1007/s10817-005-9024-8}，关键词={68Q42,68Q45}，URL={hdl.handle.net/2060/20040086792}，zbMATH={5073793}，Zbl={1105.68054}}