@博士学位{Froehlich-phdthesis，作者={Andreas Fr{\“{o}}hlich}，title={位向量推理的理论和实践方面}，年份={2016年}，series={Wissenschaften}技术论文，学校={林茨约翰内斯·开普勒大学Informatik}}