@正在进行{DBLP:conf/fmcad/PreinerNB13，author={Mathias Preiner和Aina Niemetz和Armin Biere}，title={Lambdas}的按需引理，书名={FMCAD的差异},series={{CEUR}研讨会论文集}，体积={1130}，publisher={CEUR-WS.org}，年份={2013年}}