Yatin P. Saraiya. Polynomial-Time Program Transformations in Deductive Databases. In Proceedings of the Ninth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, April 2-4, 1990, Nashville, Tennessee. pages 132-144, ACM Press, 1990. [doi]
Abstract is missing.