乔斯·海因茨 巴勃罗·索莱诺 玛丽·弗朗索瓦斯·罗伊 关于半代数集的复杂性。 293-298 1989 conf/ifip/1989 IFIP大会 db/conf/ifip/ifip89.html#HeintzSR89