@第{zbMATH06441775条，作者={Chareton，Christophe and Brunel，Julien and Chemouil，David}，标题={具有可撤销和可再融资策略的逻辑}，FJournal={信息与计算}，日志={Inf.Comput.}，ISSN={0890-5401}，体积={242}，页码={157--182}，年份=｛2015｝，语言={英语}，DOI={10.1016/j.ic.2015.03.015}，关键词={68Q60,03B44,68T27}，zbMATH={6441775}，Zbl={1319.68142}}