Yu-Ao Chen, Xiao-Shan Gao. Criteria for Finite Difference Gröbner Bases of Normal Binomial Difference Ideals. In Michael A. Burr, Chee K. Yap, Mohab Safey El Din, editors, Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2017, Kaiserslautern, Germany, July 25-28, 2017. pages 93-100, ACM, 2017. [doi]
Abstract is missing.