Charles Kellogg, Philip Klahr, Larry Travis. A Deductive Capability for Data Management. In Peter C. Lockemann, Erich J. Neuhold, editors, Systems for Large Data Bases, September 8-10, 1976, Brussels, Belgium. pages 181-196, North Holland & IFIP, 1976. [doi]
Abstract is missing.