@在集合{zbMATH106635969，作者={Schwarzentruber，Fran{c{c}}ois}，标题={{LotrecScheme}}，BookTitle={2011年11月10日至12日在西班牙奥苏纳举行的关于模态方法的第七次研讨会（M4M’2011）和关于多智能体系统逻辑方面的第四次研讨会（LAMAS’2011）的会议记录}，页码={187--199}，年份={2011}，出版商={阿姆斯特丹：爱思唯尔}，语言={英语}，DOI={10.1016/j.entcs.2011.10.15}，关键词={68T15,03B45}，zbMATH={6635969}，Zbl={1347.68306}}