@misc{indiciae5ba3a80d8b4d,
  title = {On Termination of Polynomial Programs with Equality Conditions},
  author = {Yangjia Li and Naijun Zhan and Mingshuai Chen and Hui Lu and Guohua Wu and Joost-Pieter Katoen},
  year = {2020},
  url = {https://arxiv.org/abs/1510.05201},
  note = {Source identifier: 1510.05201}
}