TY  - RPRT
TI  - On Termination of Polynomial Programs with Equality Conditions
AU  - Yangjia Li
AU  - Naijun Zhan
AU  - Mingshuai Chen
AU  - Hui Lu
AU  - Guohua Wu
AU  - Joost-Pieter Katoen
PY  - 2020
UR  - https://arxiv.org/abs/1510.05201
ID  - 1510.05201
ER  -