@进行中{KieslSeidlTompitsBiere-IJCAI17，author={Benjamin Kiesl和马蒂娜·塞德尔和Hans Tompits和Armin Biere}，editor={Carles Sierra}，title={命题逻辑中的阻塞性：你对邻居满意吗？}，booktitle={第二十六届国际联合会议记录人工智能（{IJCAI}2017）}，页数={4884--4888}，publisher={ijcai.org}，年份={2017年}，url={https://doi.org/10.24963/ijcai.2017/687}，doi={10.24963/ijcai.2017/687}，}