Sanjay Manchanda. Declarative Expression of Deductive Database Updates. In Proceedings of the Eighth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, March 29-31, 1989, Philadelphia, Pennsylvania. pages 93-100, ACM Press, 1989. [doi]
Abstract is missing.