Straight-line programs in geometric elimination theory | Publicación