@第{zbMATH05873541条，作者={Droste，Manfred and Vogler，Heiko}，标题={未分类树自动机的加权逻辑}，FJournal={计算系统理论}，期刊={理论计算系统}，ISSN={1432-4350}，体积={48}，数字={1}，页码={23--47}，年份={2011}，语言={英语}，DOI={10.1007/s00224-009-9224-4}，关键词={03D05,03B70，68P15,68Q45,68Q70}，zbMATH={5873541}，Zbl={1226.03048}}