TY - RPRT TI - A generalization of Lazard's elimination theorem AU - Elizabeth Jurisich AU - Robert L. Wilson PY - 2013 UR - https://arxiv.org/abs/1312.1960 ID - 1312.1960 ER -