@InCollection{zbMATH05369505，作者={Brochenin，R{’e}mi and Demri，St{’e}phane and Lozes，Etienne，标题={在万能魔杖上}，BookTitle={计算机科学逻辑。第22届国际研讨会，CSL 2008，EACSL第17届年会，意大利贝蒂诺罗，2008年9月16-19日。诉讼}，国际标准图书编号={978-3-540-87530-7}，Pages＝{323-338}，年份={2008}，出版商＝{柏林：施普林格}，语言={英语}，DOI={10.1007/978-3-540-87531-4_24}，关键词={03B70,03B25,68N30,68P05,68Q60}，zbMATH={5369505}，Zbl={1157.03010}}