Charles Elkan. Independence of Logic Database Queries and Updates. In Proceedings of the Ninth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, April 2-4, 1990, Nashville, Tennessee. pages 154-160, ACM Press, 1990. [doi]
Abstract is missing.