Alicia Dickenstein Noaï Fitchas Marc Giusti Carmen Sessa The membership problem for unmixed polynomial ideals is solvable in single exponential time. 73-94 1991 33 Discrete Applied Mathematics 1-3 http://dx.doi.org/10.1016/0166-218X(91)90109-A db/journals/dam/dam33.html#DickensteinFGS91