@第{zbMATH06712188条，作者={Genet，Thomas and Salmon，Yann}，标题={最内层重写的可达性分析}，FJournal={计算机科学中的逻辑方法}，日志={Log.Methods Compute.Sci.}，ISSN={1860-5974}，体积={13}，数字={1}，页码={35}，注={Id/No 12}，年份={2017年}，语言={英语}，DOI＝{10.23638/LMCS-13（1:12）2017}，关键词={68Q42,68N18,68Q45}，zbMATH={6712188}，Zbl={1398.68274}}