@phdthesis{Niemetz-phthesis，博士学位，author={Aina Niemetz}，title={比特持久之外的比特精确推理}，年份={2017年}，series={Wissenschaften}技术论文，学校={林茨约翰内斯·开普勒大学Informatik}}