@博士学位{Brummayer-PhD-Thessis-2009，author={Robert Brummayer}，title={位向量的高效SMT求解和数组的扩张理论}，年份={2009}，series={Wissenschaften}技术论文，学校={林茨约翰内斯·开普勒大学Informatik}}