On termination of polynomial programs with equality conditions. - Yangjia Li; Mingshuai Chen; Liangran Zhao; Naijun Zhan; Hui Lu; Guohua Wu; Joost-Pieter Katoen (Inf. Comput., 2026)