@文章{DBLP:journals/jsat/BrummayerB09，author={Robert Brummayer和Armin Biere}，title={数组扩张理论的需求引理}，日志={{JSAT}}，体积={6}，数字＝{1-3}，页数={165--201}，年份={2009}}