@收款{zbMATH06623532，作者={Arif，M.Fareed和Menc{'{i}}a，Carlos和Ignatiev，Alexey和Manthey，Norbert和Pe{n}aloza，Rafael和Marques-Silva，Joao}，Title={{BEACON}：有效基于{SAT}调试{{\（\mathcal{EL}^+\）}}本体}的工具，BookTitle={可满足性测试的理论和应用--SAT 2016。第19届国际会议，法国波尔多，2016年7月5-8日。诉讼}，国际标准图书编号={978-3-319-40969-6；978-3-3169-40970-2}，页码={521--530}，年份={2016年}，出版商={Cham:Springer}，语言={英语}，DOI＝{10.1007/978-3-319-40970-2_32}，关键词={68T30,68T20}，zbMATH={6623532}，Zbl={1475.68368}}