@收款{zbMATH06101743，作者={Malcher，Andreas and Meckel，Katja and Mereghetti，Carlo and Palano，Beatrice}，标题={下推存储语言的描述复杂性}，BookTitle={正式系统的复杂性描述。第14届国际研讨会，2012年7月23日至25日，葡萄牙布拉加，DCFS 2012。诉讼}，国际标准图书编号={978-3-642-31622-7}，页码={209--221}，年份={2012}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/978-3-642-31623-4_16}，关键词={68Q45}，URL={geb.uni-giessen.de/geb/volltexte/2012/9085/}，zbMATH={6101743}，Zbl={1304.68111}}