How lower and upper complexity bounds meet in elimination theory | Publicación