Alexander Brodsky, Yehoshua Sagiv. Inference of Inequality Constraints in Logic Programs. In Proceedings of the Tenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 29-31, 1991, Denver, Colorado. pages 227-240, ACM Press, 1991. [doi]
Abstract is missing.