@第{zbMATH07672671条，作者={Bednarczyk、Bartosz和Demri、St{\ee}phane和Fervari、Raul和Mansutti、Alessio}，Title={关于用模态逻辑构成有限森林}，FJournal={ACM计算逻辑事务}，日志={ACM Trans.Comput.Log.}，ISSN={1529-3785}，体积={24}，数字={2}，页码={46}，注={Id/No 12}，年份={2023}，语言={英语}，DOI={10.1145/3569954}，关键词={03B70,68-XX}，zbMATH={7672671}}