@收款{zbMATH02199317，作者＝{Lahiri，Shuvendu K.和Seshia，Sanjit A.}，标题={{UCLID}决策过程}，BookTitle={计算机辅助验证。第16届国际会议，2004年CAV，美国马萨诸塞州波士顿，2004年7月13日至17日。会议记录。}，国际标准图书编号={3-540-22342-8}，页码={475--478}，年份={2004}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/b98490}，关键词={68Q60}，zbMATH={2199317}，Zbl={1103.68628}}