Criteria for Finite Difference Gröbner Bases of Normal Binomial Difference Ideals

Published in ISSAC, 2017