José Meseguer, Xiaolei Qian. A Logical Semantics for Object-Oriented Databases. In Peter Buneman, Sushil Jajodia, editors, Proceedings of the 1993 ACM SIGMOD International Conference on Management of Data, Washington, D.C., May 26-28, 1993. pages 89-98, ACM Press, 1993. [doi]
Abstract is missing.