@第{zbMATH07191315条，作者＝{Bozzelli，Laura和Murano，Aniello和Sorrentino，Loredana}，标题={带有线性过去的交替时间时序逻辑}，FJournal={理论计算机科学}，期刊={Theor.Comput.Sci.}，ISSN={0304-3975}，体积={813}，页码={199--217}，年份={2020年}，语言={英语}，DOI={10.1016/j.tcs.2019.11.028}，关键词={03B44.68Q60}，zbMATH={7191315}，Zbl={1433.03050}}