5 papers:
SIGMOD-1993-RamakrishnanRSSS #database #deduction- The CORAL Deductive Database System (RR, WGR, PS, DS, SS), pp. 544–545.
- SIGMOD-1993-RamakrishnanSSS #database #deduction #implementation
- Implementation of the CORAL Deductive Database System (RR, DS, SS, PS), pp. 167–176.
VLDB-1993-SrivastavaRSS #database #logic #object-oriented- Coral++: Adding Object-Orientation to a Logic Database Language (DS, RR, PS, SS), pp. 158–170.
- VLDB-1992-RamakrishnanSS #logic #named
- CORAL — Control, Relations and Logic (RR, DS, SS), pp. 238–250.
DAC-1988-BlackburnTK #behaviour #design- CORAL II: Linking Behavior and Structure in an IC Design System (RLB, DET, PMK), pp. 529–535.
