@第{zbMATH05542406条，作者={Koponen，Vera}，标题={独立性和有限子模型属性}，FJournal={纯逻辑与应用逻辑年鉴}，日志={Ann.Pure Appl.Logic}，ISSN={0168-0072}，体积={158}，数字={1-2}，页码={58--79}，年份={2009}，语言={英语}，DOI={10.1016/j.apal.2008.10.04}，关键词={03C07,03C13,03C45}，zbMATH={5542406}，Zbl={1161.03017}}