@InCollection{zbMATH06158951，作者={德佩瓦、瓦莱里亚和海乌斯勒、爱德华·赫尔曼和拉德梅克、亚历山大}，标题={构造描述逻辑混合样式}，BookTitle={2010年混合逻辑与应用国际研讨会（HyLo 2010）。研讨会后期制作，英国爱丁堡，2010年7月10日。}，Pages＝{21-31}，年份={2011}，出版商={阿姆斯特丹：爱思唯尔}，语言={英语}，DOI={10.1016/j.entcs.2011.06.010}，关键词={68T27,03B45,03B62}，zbMATH={6158951}，Zbl={1260.68389}}