@正在进行{DBLP:conf/lpar/Kiesl0STB17，author={Benjamin Kiesl和马丁·苏达和马蒂娜·塞德尔和Hans Tompits和Armin Biere}，editor={托马斯·艾特和David Sands}，title={一阶逻辑中的阻塞子句}，booktitle={第21届人工编程逻辑国际会议会议记录智能与推理（LPAR-21）}，series={计算中的EPiC系列}，体积＝{46}，页数={31--48}，publisher={EasyChair}，年份={2017年}，}