TY - RPRT TI - Termination of Linear Programs with Nonlinear Constraints AU - Bican Xia AU - Zhihai Zhang PY - 2009 UR - https://arxiv.org/abs/0904.3588 ID - 0904.3588 ER -