@第{zbMATH07311961条，作者={Alonderis，R.和Pliu{{s}}kevi{{c}}ius，R和Pliu{{s{}kevi{c}{ien{e.e}，A.和Giedra，H.}，标题={时序逻辑的循环类型序列计算}，FJournal={自动推理杂志}，日志={J.自动推理}，ISSN={0168-7433}，体积={64}，数字={8}，页码={1663--1684}，年份={2020年}，语言={英语}，DOI={10.1007/s10817-020-09544-1}，关键词={03B44.03F03}，zbMATH＝{7311961}，Zbl={1462.03012}}