conf/sigmod/93 José Meseguer Xiaolei Qian A Logical Semantics for Object-Oriented Databases. 89-98 1993 conf/sigmod/93 SIGMOD Conference db/conf/sigmod/sigmod93.html#MeseguerQ93 http://doi.acm.org/10.1145/170035.170057 SIGMOD93/P089.PDF conf/sigmod/AbiteboulB91 conf/sigmod/AbiteboulK89 journals/debu/AbiteboulK91 conf/pods/AbiteboulKW90 ... ... conf/ewdw/AtkinsonRT90 journals/debu/Beeri91 conf/pods/Beeri92 conf/pods/BeeriM92 conf/edbt/Bertino92 conf/icalp/TannenS91 ... conf/dbpl/ChenKW89 ... ... ... journals/tcs/GoguenM92 ... ... conf/ds/GoguenW90 journals/jacm/Huet80 conf/sigmod/KiferL89 conf/icalp/KirchnerKM88 ... ... journals/tcs/Meseguer92 conf/alp/Meseguer92 ... journals/jsc/MeseguerG89 ... journals/jsc/SmolkaA89 journals/computer/Wiederhold92 journals/cacm/WiederholdWC92