Markus N.Rabe等人：理解和扩展2QBF的增量确定。(2018) conf/cav/RabeTRS18 10.1007/978-3-319-96142-2_17 理解和扩展2QBF的增量确定。 4 马库斯·拉贝 1 Leander Tentrup公司 2 卡梅隆·拉斯穆森 三 桑吉特·塞希亚 4 256-274 CAV（2） CAV（2） 2018 2018 dblp记录“conf/cav/RabeTRS18”的RDF数据的来源信息 2018-10-03T12:55:03+0200