@第{zbMATH07596584条，作者={池口，米莱}，标题={同源方法获得的重写规则数的下限}，FJournal={计算机科学中的逻辑方法}，日志={Log.Methods Compute.Sci.}，ISSN={1860-5974}，体积={18}，数字＝｛3｝，页码={25}，注={Id/No 36}，年份={2022}，语言={英语}，DOI={10.46298/lmcs-18（3:36）2022}，关键词={18G15,68Q42,20J05}，zbMATH={7596584}，Zbl={1508.18008}}