@进行中{NiemetzBiere-SMT13，author={Aina Niemetz和Armin Biere}，editor={罗伯托·布鲁托梅索和阿尔贝托·格里乔}，title={{ddSMT:SMT-LIB v2格式}}的增量调试器，booktitle={第十一届国际研讨会论文集可满足性模理论，{SMT}2013），隶属于第16届国际会议可满足性测试的理论与应用，{SAT}2013，芬兰赫尔辛基，2013年7月8日至9日}，页数={36--45}，年份={2013年}}