Teodor C. Przymusinski. Every Logic Program Has a Natural Stratification And an Iterated Least Fixed Point Model. In Proceedings of the Eighth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, March 29-31, 1989, Philadelphia, Pennsylvania. pages 11-21, ACM Press, 1989. [doi]
Abstract is missing.