DARET: A Logic-Based Language in Object-Oriented Databases. - Tak-Wai Chan; Wen-Chong Wang (SEKE, 1993)