Nagao T and Nishida N. Proving inductive validity of constrained inequalities. Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming. (50-61). https://doi.org/10.1145/2967973.2968598