@在过程{LES-SAT16，author={Florian Lonsing和Uwe Egly和玛蒂娜·塞德尔}，title={{带广义公理的Q分辨率}}，booktitle={第19届满意度测试理论与应用（SAT 2016）}，页数={435--452}，年份={2016年}，editor={Nadia Creignou和丹尼尔·勒贝尔}，体积={9710}，publisher={Springer}，}