Alexander Brodsky, Yehoshua Sagiv. Inference of Monotonicity Constraints in Datalog Programs. In Proceedings of the Eighth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, March 29-31, 1989, Philadelphia, Pennsylvania. pages 190-199, ACM Press, 1989. [doi]
Abstract is missing.