Allen Van Gelder. Deriving Constraints Among Argument Sizes in Logic Programs. In Proceedings of the Ninth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, April 2-4, 1990, Nashville, Tennessee. pages 47-60, ACM Press, 1990. [doi]
Abstract is missing.