On the efficiency of effective Nullstellens�tze | Publicación