@第{zbMATH07274558条，作者={Skeirik、Stephen和Stefanescu、Andrei和Meseguer、Jos，Title={重写理论的基于构造函数的可达性逻辑}，FJournal={Fundamental Informaticae}，日志={Fundam.Inform.}，ISSN={0169-2968}，体积={173}，数字={4}，页码={315--382}，年份={2020年}，语言={英语}，DOI={10.3233/FI-2020-1926}，关键词={68N30,03B44,03B70,68Q42,68Q60}，zbMATH={7274558}，Zbl={1471.68076}}