@技术报告{Biere-FMV-TR-11-2，作者＝{Armin Biere和Keijo Heljanko和Siert Wieringa}，title={{AIGER 1.9}及以上}，数字={11/2}，date={2011年7月}，institution={正式模型和验证研究所，约翰内斯·开普勒大学}，地址={Altenbergerstr.69，4040 Linz，Austria}，年份＝{2011}，}