@收款{zbMATH07050649，作者={Le，Quang Loc and Sun，Jun and Chin，Wei-Ngan}，标题={基于堆的程序的可满足性模}，BookTitle={计算机辅助验证。第28届国际会议，2016年7月17日至23日，加拿大安大略省多伦多市，CAV 2016。诉讼程序。第一部分}，国际标准图书编号={978-3-319-41527-7；978-3-3169-41528-4}，Pages＝{382-404}，年份={2016年}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-319-41528-4_21}，关键词={68N30,03B70}，URL={ink.library.smu.edu.sg/sis_research/4937}，zbMATH={7050649}，Zbl={1411.68028}}