@第{zbMATH06832417条，作者={戈巴尔、哈利勒和索戈孔、安德鲁和普拉泽、安德烈{\'e}}，Title={检查代数集和半代数集正不变性的证明规则层次}，FJournal={计算机语言、系统和结构}，日志={计算语言系统结构}，ISSN={1477-8424}，体积={47}，页码={19--43}，年份={2017年}，语言={英语}，DOI={10.1016/j.cl.2015.11.003}，关键词={68Q60}，zbMATH＝{6832417}，Zbl={1379.68238}}