一阶推理和有效的半代数证明| IEEE会议出版物| IEEE Xplore