@在过程{DBLP:conf/fmcd/PreinerNB15，author={Mathias Preiner和Aina Niemetz和Armin Biere}，editor={Roope Kaivola和托马斯·沃尔，title={Lambda提取的更好引理}，booktitle={计算机辅助设计中的形式方法，{FMCAD}2015，德克萨斯州奥斯汀，美国，2015年9月27日至30日。}，页数={128--135}，publisher={{IEEE}}，年份={2015年}，}