@InCollection{zbMATH07299516，作者={Sickert，Salomon and Esparza，Javier}，Title={线性时态逻辑和非常弱的交替自动机的有效正规化过程}，BookTitle={2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2020，虚拟事件，2020年7月8日至11日}，国际标准图书编号={978-1-4503-7104-9}，页码={831--844}，年份={2020}，Publisher={纽约，NY:计算机协会（ACM）}，语言={英语}，DOI={10.1145/3373718.3394743}，关键词={68-XX，03B44}，zbMATH={7299516}}